研究领域

计算机技术（专业学位）
软件工程（专业学位）
人工智能技术（专业学位）
系统安全"科研项目
红果园：海军舆情管理分析系统二期，2013-12-25--2014-12-05，6.0万元，参加
红果园：基于云计算的涉密信息系统安全保密测评与检查能力建设，2013-01-01--2014-12-31，80.0万元，参加
教育部“创新团队”：“数字媒体信息处理”教育部创新团队_子课题3 ，2013-01-01--2015-12-31，10.0万元，参加
博士点基金：云计算环境中面向应用层的自主异常检测方法研究，2013-01-01--2015-12-31，4.0万元，参加
博士点基金：可信云服务平台的关键技术研究，2012-04-01--2015-04-30，12.0万元，参加
铁道部科技司：信息系统互联互通及安全、维护技术应用研究——铁路信息安全等级保护体系及关键技术研究，2012-08-31--2013-09-30，23.5万元，参加
铁道部科技司：网络与信息安全保障体系框架及关键技术研究项目相关安全测试，2012-06-01--2013-01-31，15.0万元，参加
红果园：公安部第一研究所重要信息系统安全咨询服务支撑平台定制开发，2012-06-30--2013-12-31，45.0万元，参加
红果园：保密学院建设，2011-11-25--2012-12-31，20.0万元，参加
北京交通大学：网络文件安全保护与监控系统，2011-04-20--2013-12-31，15.36万元，参加
其它部市：北京信息安全服务能力评估，2010-09-30--2010-12-31，10.0万元，参加
北京交通大学：地理信息系统安全技术要求的编制，2010-06-10--2010-12-20，3.0万元，参加
其它部市：综合接入设备可信硬件平台研制，2010-01-04--2010-05-31，10.0万元，主持
其它部市：综合接入管理平台研制，2010-01-04--2010-05-31，44.0万元，主持
其它部市：综合接入管理平台测试，2010-01-01--2010-05-31，13.9万元，主持
其它部市：铁路重要业务信息系统安全可控保障体系研究，2010-01-10--2010-12-10，5.0万元，主持
红果园：人才培养模式研究，2009-06-01--2009-12-30，3.0万元，参加
铁道部科技司：铁路网络与信息安全等级保护技术方案研究，2008-09-19--2009-10-31，2.0万元，主持
科技部“863”：可信计算平台信任链建立关键技术，2007-12-18--2009-12-31，88.0万元，参加
北京市科委：终端安全体系结构研究及关键技术研发，2007-09-10--2009-09-10，40.0万元，主持
其它部市：软件防护技术研究，2007-07-30--2007-12-20，8.0万元，参加
铁道部科技司：铁路信息系统应用与技术研究-铁路信息网络灾备系统安全防护与灾备恢复技术，2007-08-20--2008-03-31，30.0万元，参加
红果园：zzbb－jsjxy-韩臻－专项任务，2006-09-01--2008-06-30，25.0万元，参加
校科技基金：基于消息驱动的分布式入侵检测系统通信机制研究，2006-06-01--2008-05-31，2.0万元，参加
校科技基金：数字水印技术与应用研究，2006-01-01--2007-12-31，2.0万元，参加
北京交通大学：内网访问控制管理系统研发项目，2006-03-08--2006-06-30，5.0万元，主持
其它部市：信息安全教育现状分析和发展对策的研究，2005-12-01--2006-06-30，9.0万元，参加
其它部市：可信计算技术发展趋势研究，2005-07-01--2006-03-15，14.0万元，参加
北京交通大学：中国工商银行网络管理系统优化升级项目，2005-08-01--2005-08-01，30.0万元，主持
北京交通大学：安全管理知识库Security Policy Pack，2005-06-01--2006-06-01，20.0万元，主持"

近期论文

论文/期刊
期 刊-> 李晓勇，马威.动态代码的实时可信传递研究[J]。电子学报，2012-10，40（10），2009：2014
期 刊-> 李晓勇，周丽涛.提升计算机专业实践能力的研究与探索[J]。计算机教育，2010-12，第109期（1），
期 刊-> 李晓勇，周丽涛,石勇,郭煜.虚拟行为机制下的恶意代码检测与预防[J]。国防科技大学学报，2010-12，32（1），
期 刊-> 李晓勇，韩臻.Windows环境下信任链传递及其性能分析[J]。计算机研究与发展，2007-12，44（11），
期 刊-> 李晓勇，左晓栋,沈昌祥.基于系统行为的计算平台可信证明[J]。电子学报，2007-12，35（7），
期 刊-> 李晓勇，左晓栋,沈昌祥.可信计算环境下敏感信息流的安全控制[J]。计算机工程与设计，2007-12，28（15），
期 刊-> 李晓勇，沈昌祥.一个动态可信应用传递模型的研究[J]。华中科技大学学报（自然科学版），2005-12，33（12），
会议论文-> 成阳，李晓勇.A Trusted Cloud Service Platform Architecture。ICISA 2012，Kyonggi University,Suwon,Republic of Korea，168：168，2012-05
会议论文-> 李晓勇，石勇,郭煜,马威.Multi-tenancy based Access Control in Cloud。the international conference on computational intelligence and software engineering 2010，Wuhan，2010-12
会议论文-> 李晓勇，石勇,郭煜.A trusted Computing Environment Model in Cloud Architechture。The 2010 International Conference on Machine Learning and Cybernetics，Qingdao，2010-12
会议论文-> 李晓勇.MALICIOUS CODE DETECTION WITH INTEGRATED BEHAVIOR ANALYSIS。International Conference on Machine Learning and Cybernetics，保定，2009-12
会议论文-> 李晓勇，韩臻.Transitive Trust to Executables Generated During Runtime。second international conference on innovative computing information and control，Kumamoto，2008-12
会议论文-> 李晓勇，韩臻.Software complexity based remote attestation。ICICIC 2006，北京交通大学，2006-12
会议论文-> 李晓勇，韩臻.An Efficient Attestation for Trustworthiness of Computing Platform。IEEE International Conference on Intelligent Information Hiding and Multimedia Signal Processing，Pasadena, CA, USA，2006-12
会议论文-> 李晓勇，沈昌祥.一个动态可信应用传递模型的研究。2005中国计算机大会，武汉，2005-12