韩进 讲师（高校）
学习与工作经历：
一、简历
韩进，男，1974年4月9日生，中共党员。
1995年毕业于安徽理工大学，
2005年毕业合肥工业大学，获计算机应用技术硕士学位。
2009年毕业于南京大学，获计算机应用技术专业博士学位。
2010年入职南京信息工程大学计算机与软件学院。
三、学习与工作经历
1995.7～2002.6 中国建设银行巢湖市分行，员工
2002.9～2005.9 合肥工业大学，硕士研究生
2005.9～2009.11 南京大学，博士研究生
社会兼职：
研究领域：
本人的研究方向是信息安全，主要的研究内容包括：
1、加密协议的安全性验证分析
2、形式化理论研究
3、网络信息安全技术研究
科研成果：
1、近年来主要承担的科研项目
1、国家发改委信息安全专项：网络安全综合防御系统NSS-2 苏发改稽查发[2009]1799号 已验收 第三负责人
2、南京市科技计划项目：基于知识管理的中小银行办公系统 宁科验字[2009]第182号 已验收 第二负责人
3、江苏省科技计划项目：基于消息机制的电子政务安全数据交换平台 苏科验字[2009]第350号 已验收 第四负责人
4、南京市科技计划项目：支持多模式或第三方物流的ERP系统 宁科验字[2009]第167号 已验收 第六负责人
2、发表的论文：
1、韩进，蔡圣闻，王崇峻，赖海光，谢俊元： 一种基于πt演算的安全协议建模方法，计算机研究与发展，2010 47(4)：613~620
2、韩进，谢俊元：一种基于攻击序列求解的安全协议验证新算法，计算机科学，2010 37(9)：32-35
3、韩进，蔡圣闻，谢俊元：一种流模拟与包模拟结合的新网络模拟技术，计算机科学，2010 37(10)：55-58
4、韩进，谢俊元：注入攻击序列搜索算法对安全协议的验证研究，计算机科学与探索，2010 04(7) ：608-616
5、张光辉，韩进，谢俊元：基于角色映射和PBNM 的多域安全访问控制模型，计算机应用研究，2008 25(3)：888-890
6、陈丽娜，韩进，谢俊元：基于信任管理的SAML授权模型，计算机工程与设计，2008.29(24)：6275-6277
7、李庚，韩进， 谢立：入侵检测中一种新的多模式匹配算法，计算机应用研究，2008 25(3):2474-2476
8、吴中伟，王义安，韩进，谢立：一种P2P文件共享监控系统的实现，计算机工程：2007 33(14):139-141
9、李钢，李静，韩进：非精确性推理方法在EID技术中的应用，合肥工业大学学报，2005 28(9):1121-1125
10、魏臻，周霞，鲍红杰，韩进：基于Petri网的联锁软件安全性测试的研究，计算机工程与应用 2005 41(17):123-125
3、申请的专利
一种基于漏洞攻击的安全协议验证方法，发明专利，第一权利人，申请号：201010265437.x
荣誉：
1. 2012年 江苏省科技进步奖三等奖，排名第六
2. 2011年 南京市科技进步奖三等奖，排名第二
其他学术成就：
