武汉大学计算机学院导师介绍：严飞

　　严飞，男，1980年出生，博士，副教授，硕士生导师。武汉大学计算机学院教师，空天信息安全与可信计算教育部重点实验室固定研究人员。在《中国科学》等期刊和国内外学术会议发表论文多篇。主持或承担国家级、省部级、国防类项目多项，并负责完成了我国第一款可信计算PC平台测评软件原型系统。现为《中国科学：信息科学》等期刊审稿人。
　　
　　[个人简历]
　　1992--1998，湖北省武昌实验中学；
　　1998--2002，武汉大学计算机学院，计算机应用专业，工学学士；
　　2002--2007，武汉大学计算机学院，信息安全专业，工学博士；
　　2008--至今，武汉大学计算机学院，信息安全系，教师。
　　
　　[科研工作]

　　1．主要技术负责研制了我国第一套可信PC平台测评原型系统，该研究完成了：
　　（1）对国外TCG规范进行安全性分析，发现设计缺陷3处；
　　（2）针对5款可信计算机进行了实测，发现缺陷多个；
　　（3）申请国家发明专利5项，已授权2项，部分理论成果发表在《中国科学》；
　　（4）进一步理论工作受到国家自然基金可信软件重大研究计划（91018008）、国家自然基金青年基金支持（61003268）、湖北省自然基金面上项目（2010CDB08601）。
　
　　2．与华中科技大学、复旦大学、HP公司合作，主要技术负责研制了名为Daonity的可信网格基础设施系统（现改名为Daoli），该系统将可信计算与网格技术相融合，已经在中国教育科研网格中得到实际应用。
　　
　　3．目前课题情况：
　　（1）主持国家自然基金1项（61003268，2011.1—2013.12）
　　（2）主持湖北省自然基金1项（(2010CDB08601，2011.1—2013.12）
　　（3）主持武汉大学自主科研青年基金1项（3101038，2011.1—2012.12)
　　（4）主持教育部重点实验室开放基金1项（AISTC2008_01）
　　（5）合作国家自然科学基金重大研究计划“可信软件”重点资助项目1项（91118003，2012—2015，项目负责人：何炎祥）
　　欢迎有志从事信息安全研究、热爱信息安全技术的同学加入我的课题组！
　　
　　教学情况
　　1．负责《操作系统及安全》本科生课程教学；
　　2．承担《恶意软件分析与防范》全校通识课教学；
　　
　　获奖及专利
　　1．2009、2010年指导全国大学生信息安全竞赛，共获全国三等奖3项；
　　2．2008、2010年合作指导全国电子设计大赛信息安全竞赛，共获全国二等奖1项、全国三等奖1项。
　　3.申请国家发明专利5项，已获批2项（第二人）。
　　[1] 张焕国，严飞等。可信平台模块测试装置，专利授权号：ZL200810236866.7
　　[2] 张焕国，严飞等。基于最小测试集的可信PC信任链测试系统，专利授权号：ZL200810197942.8。
　　[3] 张焕国，严飞等。可信软件栈测试装置，专利申请号：200810197669.9。
　　[4] 严飞，张焕国等。基于可信平台模块的计算机安全启动系统，专利申请号：200810197748.X。
　　[5] 严飞，张焕国等。基于模糊技术的可信软件栈测试系统，专利申请号：201010150363.5 。
　　
　　主要论文
　　[1] 张焕国，严飞（通讯作者），傅建明等.可信计算平台测评理论与关键技术研究.中国科学：信息科学. 2010, 40(2):167-188.
　　[2] Zhang Huanguo, Yan Fei（通讯作者）, Fu Jianming et. al.. Research on theory and key technology of trusted computing platform security testing and evaluation. Science China: Information Sciences. 2010, 53(3):1-20.
　　[3] 徐明迪, 张焕国, 严飞. 基于标记变迁系统的可信计算平台信任链测试.计算机学报,2009,32(4)。
　　[4] Yan Fei, Zhang Huanguo, Zhao Bo. A Secure Multi-party Computing Model based on Trusted Computing Platform. Proceedings of IEEE 9th International Conference on Computer and Information Technology, 2009.
　　[5] 罗捷，严飞，余发江，张焕国。可信计算平台模块密码机制研究。计算机应用，2008第8期。
　　[6] Wenbo Mao, Fei Yan, Chunrun Chen. Daonity: Grid Security with Behavior Conformity from Trusted Computing. Proceedings of the First ACM Workshop on Scalable Trusted Computing (ACM STC06), Nov 3, 2006, Fairfax, USA. ACM SIGSAC.（Conjunction with ACM CCS06）
　　[7] Fei Yan, Weizhong Qiang, Zhidong Shen, Chunrun Chen, Huanguo Zhang, Deqing Zou. Daonity: An Experience on Enhancing Grid Security by Trusted Computing Technology. Proceedings of the 3rd International Conference on Autonomic and Trusted Computing, Wuhan, China, September 2006, LNCS, Vol 4158, Springer-Verlag.
　　[8] Fei Yan, Huanguo Zhang, Lina Wang, Min Yang. An improved intrusion detection model based on paraconsistent logic. Proceedings of SPIE on Network Architecture, Management and Applications II, Beijing China, November 2004, Vol 5626, SPIE.
　　[9] Fei Yan, Huanguo Zhang, Qi Sun, Zhidong Shen, Liqiang Zhang, Weizhong Qiang. An Improved Grid Security Infrastructure by Trusted Computing. Journal of Wuhan University Natural Science, Vol.11, No.6, 2006.
　　[10] Wenbo Mao, Fei Yan, Chuanjiang Yi, Haibo Chen. Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment. Proceedings of the Fifteenth International Workshop on Security Protocols (SPW2007), Czech Republic, April 2007

　　著作教材
　　[1]赵波，严飞，余发江译，张焕国审校，David Challener, Kent Yoder, Ryan Catherman，David Safford，Leedert Van Doorn著，可信计算，机械工业出版社，2009年1月第1版。
　　[2]张焕国、赵波编，可信计算，武汉大学出版社，2010年。（执笔第6、8、17章）
　　
　　研究生情况
　　1.在读博士生：5
　　2.在读硕士生：5
　　3.已毕业博士生：4
　　4.已毕业硕士生：12