|
李晓红 教授 |
||||||||||||
|
|
|||||||||||
|
|
|
|||||||||||
|
个人简介: |
|
李晓红,女,1965年9月出生,工学博士学位,天津大学计算机及信息技术系、教授,硕士生导师。1987年进入内蒙古化纤总厂,参与西德巴马克涤纶长丝生产线电器仪表控制系统的安装与调试工作,并作为企业唯一的技术人员参加了DMC-502锅炉微机控制系统改造工程项目,撰写验收材料近5万字,组织项目的验收与实施,系统的使用,为企业获得了很高的经济效益。1993年进入内蒙古工业大学,致力于计算机科学及计算机应用的研究。1996年进入天津大学,从事虚拟现实声学仿真,多媒体传输的研究与开发,参与了“用于建筑环境仿真设计的分布式多用户虚拟现实系统”国家863资助项目,该项目获天津科技成果二等奖。1999年-2001年进入天津合勤科技有限公司,从事ZYXEL系列网络通讯产品的研究与开发。2002年开始钻研软件应用的基础理论、知识工程、安全软件工程。目前致力于可信软件、可信计算等信息安全相关领域的研究。在2007年底,由本人作为项目负责人申请的“基于攻击模式的可信软件的建模、度量与验证”获得国家自然科学基金重大研究计划培育项目的资助。在2009年5月项目中期检查与交流会上获得专家的认可与好评。此外,近年来主持或参与国家级、省部级以及横向科研课题近15项,其中:作为项目负责人主持项目7项,包括国家自然科学基金重大科技研究计划面上项目1项,天津市基础性科研项目1项、科技攻关项目1项、微软亚洲研究院大学合作项目1项,企业横向1项,精品课建设项目2项。发表学术论文近30篇,其中学位与研究生教育重要期刊16篇,国际会议6篇,被EI检索11篇, SCI检索2篇。申请专著和专利5项。从事教学近10年,承担“数据结构”和“软件工程”两门主干课程的讲授,并于2007和2008年先后获得2项教育部精品课程建设项目。 |
|
学习与工作经历: |
|
2005年8月,获得天津大学计算机应用专业工学博士学位。 2001-至今,天津大学计算机科学与技术系、讲师、副教授、教授,从事人工智能、知识工程、安全软件工程、可信软件等领域的研究。 1999-2001年,天津合勤科技有限公司,从事网络通讯产品的设计与开发。 1999年4月,获得天津大学计算机应用专业工学硕士学位。 1996年-1999年,天津大学计算机科学与技术系、硕士研究生,研究虚拟现实声学仿真系统、多媒体传输协议。 |
|
研究领域 |
|
安全软件工程 1) 研究安全软件开发的过程 2) 安全软件开发方法的探讨 3) 安全软件开发平台设计 4) 安全软件开发工具的集成与实现 可信计算 1)探索基于威胁树和攻击树模型构建可信软件模型的方法 2)研究构建可信软件模型的可信性评估和度量系统的关键技术 3)探求构建攻击模式系统的方法,实现攻击模式的自动识别、提取和求精 4)针对复杂软件探讨其不信任度评估和度量方法 5)研究可信软件的验证理论与测试方法。 6)基于攻击模式的安全缺陷数据库的构建与管理 人工智能与知识工程 1)面向攻击模式的智能搜索方法的研究 2)基于本体的安全信息描述、表示及知识库的构建 计算机应用,智能软件设计(面向在职学位研究生) 1)基于WEB的应用软件的开发 2)智能Agent相关领域的研究 3)智能搜索与数据挖掘 2)知识库的表示与构建 3)智能工具软件的设计与开发 4)智能管理系统的研究与开发 |
|
计算机学会高级会员 国家自然科学基金评审专家 教育部学位与研究生教育发展中心学位论文评审、学科建设和评估咨询专家 |
|
出版专著\教材、获得的软件著作权\专利 |
|
1. 本体论工程及其应用,北京:清华大学出版社,2007年5。 2. 本体整合系统软件v1.0,2006.9,软件著作权登记号:2007SR02685。 3. 安全编码工具软件V1.0,2007.11,软件著作权登记号:2007SR18688。 4. 威胁建模工具软件V1.0,2007.11,软件著作权登记号:2007SR18689。 5.
系统漏洞检测工具软件V1.0,2008.11,软件著作权登记号:2008SR29771。 |
|
<在研项目> 1. 基于攻击模式的可信软件的建模、度量与验证,国家自然科学基金重大科技研究计划面上项目,50万,项目负责人,2008.1-2010.12 2. 基于SOA的现代物流系统关键技术研究,天津市应用基础研究计划项目,8万,项目负责人,2007.4-2009.12 3. 基于GIS的地域性光气候观测、分析和应用初步研究,国家自然科学基金面上项目,27万,第一参加人,2007.1-2009.12 4. 面向解决方案的服务架构及支撑环境,国家高技术研究发展计划项目,100万,排名第三,2008.01-2009.12 5. 软件测试,教育部-IBM精品课程建设项目,4万,项目负责人,2007.10-2009.12 6. 基于微软案例的软件工程,教育部-微软精品课程建设项目,4万,项目负责人,2008.10-2010.12 <完成项目> 1. 基于语义Web的物流管理系统研究,天津市科技攻关计划培育项目,10万,项目负责人,2006.4-2008.12 2. Security Software Engineering(安全软件工程),微软亚洲中国有限公司研究基金项目1项,10万,项目负责人,2006.2-2007.12 3. 面向AOP的J2EE应用服务器研究与开发,企业横向委托科研项目,5万,项目负责人,2004.12-2006.12 4. 面向语义网的新型软件体系及工具平台研究, 天津市基础研究重点项目,20万,第二参加人,2004.3-2006.12 5. 面向企业信息集成的开发平台研究,天津市重点攻关项目,10万,第二参加人,2004.10-2006.10 6.
Rapid Development Tools for
Agent Based Information Systems,IBM大学合作研究基金,第一参加人,2002.12-2003.12 7. 用于建筑环境仿真设计的分布式多用户虚拟现实系统,18万,国家863资助项目,排名第五,2000.10。获天津科技成果二等奖,并产品化,排名第五。 8. 通用CSCW应用系统开发平台与工具组件,2001年,20万,天津重大科技攻关,排名第三,1999.8 9. 分布式VR系统图形算法与开发环境的研究,3.8万,天津自然科学基金项目,排名第六,2003.1 10. 中国水墨画仿真绘制技术研究及其市场开发,10万,天津重点科技攻关,排名第三,1999.4 |
|
2008-2009: 1. Xiaohong Li, Ran Liu, Zhiyong Feng, Threat Modeling-Oriented Attack path Evaluating Algorithm, Transactions of Tianjin University, 6,2009. EI20093012214314. 2. Xiaohong Li, Ke He, Unified Threat Model for Assessing Threat in WebApplications , IEEE ISA08, International Journal of Security and Its Applications Vol.2 No.3, July,2008. EI083811558693. 3. 李晓红,冯志勇,张亮,元搜索引擎的个性化,天津大学学报,第 5 期,2008 ,EI082611336893 。 4. 李晓红,聂旭飞,冯志勇基于本体和规则的物流知识表示与推理 ,天津大学学报,第 3 期、 2008 ,EI082011256412。 5. Ke He, Zhiyong Feng, Xiaohong Li, An Attack Scenario Based Approach for Software Security Testing at DesignStage, ISCSCT'2008, 12, 2008. 6. 王泽来, 宋立军, 冯志勇,李晓红支持四方物流的Web服务集成平台的设计与实现计算机工程与应用 2009,45 (7): 15-219。 7. 操晓春,武琳,李晓红,Video synchronization andits application to objecttransfer,Image and VisionComputing, May 4, 2009 SCI 1.194、. 8. 李晓红,王翔宇,冯志勇,一种安全需求分析中的用例漏洞检测方法,计算机工程与应用(录用)。 9. 王泽来, 李晓红,宋立军,冯志勇,基于WebGIS的第四方物流跟踪及应急系统设计与实现,计算机应用研究(录用)。 2004-2006: 1. XiaohongLi, Zhiyong Feng, A Template Language for Agent Construction , The 2006 International Conference in Computational Science and Its Applications" ICCSA'2006, 5 ,2006. SCI:BEL03. EI062910015055. 2. 李晓红,刘莹,袁小雯,动态供应链谈判代理的设计及实现,工业工程,Vol.9,No.2,2006。 3. Li Xiaohong, Yang Danjie, Feng Zhiyong, Design and Implementation of Negotiation Agent of Dynamic Supply Chain, IEEE ICITA05,5,2005,EI06229905657. 4. 李晓红,冯志勇,孙济洲,基于PVM的并行辐射度声学仿真算法, 2004, 天津大学学报, 第8期, EI04488687201。 5. 金辉,冯志勇,李晓红,基于聚类方法的CAPP零件知识库构建,天津大学学报、 第9期、2004, EI04518734281 6. 饶国政,冯志勇,李晓红,通用的移动Agent系统快速集成开发环境,计算机工程与应用,2006,11,42(35)Inspec 9349130 2002-2003: 1. 李晓红,冯志勇,孙济洲,基于移动Agent建立企业动态供应链,2003,天津大学学报,第2期,EI03387642980。 2. Li Xiaohong, Zhang Xinrong, Feng Zhiyong, Acoustic simulation in architecture with parallel algorithm, 2003.10, 4th International Conference of VRAI, EI04238194968. 3. 李晓红等,移动Agent在工程设计中的应用,计算机应用研究,2,2003。 4. 李晓红等,面向Internet的弱耦合CAPP体系架构及其实现,制造业自动化,2003.6。 5. 张新荣等,基于小波变换的视觉信号特征提取方法,电子与信息学报,2003.4。 6. 李晓红,冯志勇,基于CORBA多客户机/服务器体系的ERP系统,制造业自动化,第11期,2002。 7. 李晓红等,虚拟环境中声模拟关键技术研究, 声学技术,5,2002。 8. 李晓红等,基于CORBA的多级客户机/服务器体系结构在工程中的应用,内蒙古工业大学学报,2,2002。 9. 方毅等,Product-oriented workflow management In CAPP,机械工程学报英文版, 2002.4,EI 03127407796。 10. HuiJin etc, gent-based Implementation for Automatic process planning,Transactions of Tianjin University, 2002.1. 1998-2001: 1. 李晓红等,虚拟环境中声模拟的衍射处理, 电声技术,8,2001。 2. 李晓红等,用辐射度算法计算厅堂声学传递特性, 电声技术,8,1999。 3. 李晓红等,网络多媒体信息传输同步失调控制研究,内蒙古大学学报,1999.1。 4. 李晓红等 神经计算机研究进展,内蒙古大学学报, 1997.6。 5. 李晓红等 制造业的发展与未来,内蒙古工业大学学报,1998.1。 |
|
软件工程:http://cs.tju.edu.cn/faculties/lxh/kecheng-index.html 软件测试:http://cs.tju.edu.cn/faculty/lxh/softwaretest.html |
|
|