学位：博士 性别：男 毕业院校：吉林大学 学历：博士研究生毕业 在职信息：在职 所在单位：计算机科学与技术学院、网络安全学院
证书编号：2010-1-16 项目来源：2010年度全国商业科技进步奖 授奖部门：中国商业联合会 获奖级别：省部级 获奖等级：一等奖 奖励类别：科技进步奖 获奖日期：2011-01-25
上一条：高可信软件的安全开发与验证方法及其应用
