您现在的位置: 中国科技创新网 > 文章中心 > 创新人物百科 > 信息工程 > 文章正文
专家信息 科学研究 论文专著 荣誉奖励 媒体报道

专家信息:


汪学明,男,汉族,1965年1月出生,安徽绩溪人,博士。现任贵州大学计算机科学与信息学院教授,计算机软件与理论、通信与信息系统、逻辑学专业硕士研究生导师,贵州大学计算机学院学术委员会委员、信息安全实验室主任,贵州大学信息安全与智能科学技术研究室主任。

教育及工作经历:

1987年安庆师范学院本科毕业,获理学学士学位。

1990年贵州工学院硕士研究生毕业。

1990年7月至今在贵州大学(原贵州工业大学)计算机科学与技术学院。

2002年7月参加贵州工业大学计算机应用专业硕士研究生班课程学习。

2004年7月参加教育部举办的暑期计算机科学与技术高级研讨班学习。

2008年5月贵州大学计算机学院计算机软件与理论专业博士毕业,获工学博士学位。

社会任职:

1. 安徽绩溪网站和新绩溪论坛CEO。

2. 贵州省计算机学会理事。

3. 贵州省逻辑教学研究会副会长。

4. 贵州省自动化学会会员。

5. 贵州制约逻辑学会常务副理长兼学术委员会主任。

6. 全国计算机网络教育专业委员会委员。

7. 云南大学软件学院、安徽省安庆师范学院、贵州省毕节学院客座教授。

8. 中国密码学会高级会员。

9. 中国致公党贵州省委参政议政专委会委员。

教学情况:

主讲课程:

“计算机网络与通信”、“信息安全原理与技术”、“面向对象程序设计”、“操作系统”、“人工智能及其应用”、“数理逻辑”、“离散数学”、“逻辑学基础”、“Java程序设计”、“统一软件开发平台与中间件技术”、“高等计算机网络”、“计算机理论与实践”。

培养研究生情况:

培养计算机、通信、逻辑学专业硕士研究生30余名。

资料更新中……

科学研究:


研究方向:

主要从事无线与移动网络、密码学与信息安全、协议分析与模型检测、逻辑学及其应用。

承担科研项目情况:

主持参加国家自然科学基金项目3项、贵州省自然科学基金项目5项、贵州省教育厅自然基金项目3项、贵阳市科技攻关项目2项、校级项目8项。

1. 国家自然科学基金项目:基于HECC的群体密码系统及其应用研究,2011,主持。

2. 国家自然科学基金项目:安全协议的行为时序逻辑验证与具有公平性约束的部分状态空间模型检测,2011,参加。

3. 贵州省自然科学基金项目:Ad hoc网络安全多径按需式路由协议改进及其应用研究,2011,主持。

4. 国家自然科学基金项目:分布式密码系统中的基础协议与公平性研究,2009,参加。

5. 贵州大学引进人才科研项目:新型公平多方交换协议设计及其形式化分析研究,2008,主持。

6. 贵州省科技基金:基于SVO逻辑形式化验证方法改进及其应用,2005,主持。

7. 贵州省教育厅:基于Internet的远程多媒体教学系统的研究与开发,2000,主持。

8. 贵州省商贸厅:基于J2EE框架结构的电子商务系统开发,2005,主持。

9. 贵州省科技基金项目:基于椭圆曲线密码体制门限签密研究,2005,参加。

10. 贵阳市科技攻关项目:流氓软件实时监测防范系统关键技术研究及应用实现,2007,参加。

科研成果:

资料更新中……

论文专著:


发表论文60余篇(其中核心16篇、SCI收录1篇、EI收录4篇、ISTP收录5篇),主编著作3部。

出版专著:

1《Java程序设计指导》汪学明 重庆大学出版社 2001.9

2《Java语言及应用》钟诚 汪学明 陈旭 重庆大学出版社 2001.7

3《逻辑学及其应用研究》汪学明 贵州民族出版社 2009.12

发表英文论文:

1 Xueming Wang, Xiang Li. Formal Analysis of Multi-party Non-repudiation Protocols,the 5th International Conference of e-Engineering & Digital Enterprise Technology(e- ENGDET2006),August 16-18, 2006:89-93, Guiyang, China.(ISTP收录 检索号:000246418100020).

2 Xueming Wang, Xiang Li. Modeling and Analysis of Multi-party Fair Exchange Protocols, The 3rd IEEE International Conference on Wireless Communications, Networking and Mobile Computing (WiCOM2007), September 21-23, Shanghai, China.(EI 收录 检索号:080311027712).

3 Xueming Wang, Xiang Li. Game-base Analysis of Multi-party Non-repudiation Protocols, 2007 International Conference on Computational Intelligence and Security (CIS’2007), December 15-19, Harbin, China.(SCI收录 检索号:000253372500135 EI收录 检索号:083211440474 ISTP收录 检索号:BHI03,IPSEC和ACM 同时收录).

4 Xueming Wang.Formal Analysis and Improvement of Multi-party Non-repudiation Protocol.The 5th International Conference on Wireless Communications,Networking and Mobile Computing(WiCOM 2009) (EI收录), September 24-26,2009 Beijing, China.

5 Wang Xueming,Cui Nan.Research of Security Mobile Payment Protocol in Communication Restrictions Scenarios. 2009 International Conference on Computational Intelligence and Security (CIS 2009) (EI收录) December 11-14,2009 Beijing, China.

发表中文论文:

1 一种改进的含离线可信第三方多方不可否认协议 王远敏; 汪学明 贵州大学计算机学院; 黔西南民族师范高等专科学校计算机科学系 【中国会议】逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集 2008-06-30

2 IP网络中智能网呼叫模型支持多媒体服务的研究 雷鸣; 汪学明 贵州大学电子科学与信息技术学院 【中国会议】逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集 2008-06-30

3 基于SVO逻辑的电子商务协议非否认性形式化分析 崔楠; 汪学明 贵州大学计算机软件与理论研究所 【中国会议】逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集 2008-06-30

4 关于木马攻击及防范技术的研究 任瑞芳; 汪学明 贵州大学计算机科学与技术学院 【中国会议】逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集 2008-06-30

5 制约逻辑与计算机科学相关问题的探讨 汪学明 贵州大学信息工程学院 【中国会议】贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集 2005-10-01

6 从制约逻辑到法律推理的思考 黄国芳; 汪学明 贵州大学信息工程学院; 贵州大学信息工程学院 【中国会议】贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集 2005-10-01

7 制约逻辑与BAN逻辑结合的研究 党继胜; 汪学明 贵州大学信息工程学院; 贵州大学信息工程学院 【中国会议】贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集 2005-10-01

8 一种高安全的门限群签密方案 冯君; 汪学明 贵州大学计算机科学与信息学院 【期刊】计算机应用研究 2013-02-15

9 LEACH协议的改进与仿真分析 汤玉; 汪学明 贵州大学计算机科学与信息学院 【期刊】通信技术 2012-11-10

10 微支付协议Millicent的改进与模型检测 周璇; 汪学明 贵州大学计算机科学与信息学院 【期刊】计算机工程与科学 2012-12-15

11 基于ECC的广义门限签密方案设计 任瑞芳; 汪学明 贵州大学计算机科学与信息学院 【期刊】计算机工程与设计 2011-01-16

12 一种改进的存在特权集的门限群签名方案 董玉蓉; 汪学明 贵州大学计算机科学与信息学院 【期刊】计算机工程与科学 2011-04-15

13 基于综合智能网的统一计费系统研究 陈霄; 汪学明 贵州大学计算机科学与信息学院 【期刊】通信技术 2011-07-10

14 基于AOMDV的多径路由协议改进及仿真分析 杨吟君; 汪学明 贵州大学计算机科学与信息学院 【期刊】通信技术 2011-08-10

15 按需路由协议AODV的安全性改进与仿真 张怡; 汪学明 贵州大学计算机科学与信息学院 【期刊】通信技术 2011-08-10

16 移动微支付协议Payword的改进与形式化分析 周璇; 汪学明 贵州大学计算机科学与信息学院 【期刊】计算机工程与设计 2011-08-16

17 基于ATL逻辑的公平多方不可否认协议的分析与改进 汪学明; 翁立晨 贵州大学计算机科学与信息学院 【期刊】信息安全与技术 2011-09-10

18 基于信任及能量评估的AODV安全路由 张怡; 汪学明 贵州大学 【期刊】通信技术 2012-04-10

19 SMR路由协议的改进与仿真分析 杨吟君; 汪学明 贵州大学计算机科学与信息学院 【期刊】计算机工程 2012-09-20

20 入侵检测系统误报率和漏报率的改善方法研究 郭浩; 汪学明 贵州大学计算机科学与技术学院; 贵阳市公安局 【期刊】科技经济市场 2009-06-15

21 Parlay API在NGN中的应用研究 雷鸣; 汪学明 贵州大学计算机科学与信息学院 【期刊】通信技术 2009-11-10

22 进程调度模型的Spin验证分析与改进 翁立晨; 汪学明 贵州大学计算机学院 【期刊】计算机应用 2009-12-31

23 基于本体的语义信息检索的研究 李桂华; 汪学明 贵州大学计算机科学与信息学院 【期刊】电脑知识与技术 2010-02-15

24 通信限制场景下的安全移动支付协议研究 崔楠; 汪学明 贵州大学计算机科学与信息学院 【期刊】计算机工程与设计 2010-05-16

25 语义信息检索框架设计及其算法研究 李桂华; 汪学明 贵州大学计算机科学与信息学院 【期刊】计算机技术与发展 2010-08-10

26 模糊逻辑在汽车4S企业售后服务绩效考核中的应用研究 卢韵; 汪学明 贵州大学人文学院; 贵州大学计算机科学与信息学院 【期刊】电脑知识与技术 2010-08-05

27 下一代网络开放业务接口的研究 陈霄; 汪学明 贵州大学计算机科学与信息学院 【期刊】通信技术 2010-12-10

28 公平的电子合同签署协议的博弈分析与改进 翁立晨; 汪学明 贵州大学计算机科学与信息学院 【期刊】计算机工程与设计 2010-12-28

29 基于公钥的Kerberos认证协议改进与证明 党继胜; 汪学明 贵州大学信息工程学院; 贵州大学信息工程学院; 贵州大学计算机软件与理论研究所 贵州贵阳; 贵州贵阳 【期刊】计算机应用 2006-12-30

30 制约逻辑与计算机科学相关问题的探讨 汪学明 贵州大学计算机科学与技术学院 贵州贵阳 【期刊】毕节学院学报 2007-02-28

31 作为联结关系“偶然”和“风马牛”的逻辑含义 龚启荣; 汪学明 贵州大学; 贵州大学 逻辑学研究生点贵州贵阳; 逻辑学研究生点贵州贵阳 【期刊】贵阳学院学报(社会科学版) 2007-06-15

32 主动网络的一种安全体系结构 樊玫玫; 彭长根; 汪学明 贵州大学计算机软件与理论研究所; 贵州大学计算机软件与理论研究所; 贵州大学计算机软件与理论研究所 贵州贵阳; 贵州大学理学院数学系; 贵州贵阳 【期刊】贵州大学学报(自然科学版) 2007-07-15

33 基于JAIN API的智能网技术研究与实现 王万成; 汪学明 贵州大学电子科学与信息技术学院; 贵州大学计算机软件与理论研究所 贵州贵阳; 贵州贵阳 【期刊】贵州大学学报(自然科学版) 2007-11-15

34 基于椭圆曲线(t,n)门限共享解签密方案 黄国芳; 汪学明 贵州大学信息工程学院; 贵州大学信息工程学院 贵州贵阳; 贵州贵阳; 贵州大学计算机软件与理论研究所 【期刊】贵州工业大学学报(自然科学版) 2007-08-15

35 一个新的电子支付协议及其形式化分析 徐洋; 汪学明; 谢晓尧 贵州大学计算机科学与技术学院; 贵州省信息与计算科学重点实验室 【期刊】计算机应用与软件 2008-09-15

36 基于Rubin逻辑的SSL协议安全性分析 徐洋; 谢晓尧; 汪学明 贵州大学计算机科学与技术学院; 贵州省信息与计算科学重点实验室; 贵州师范大学网络中心 【期刊】微计算机信息 2008-10-25

37 多边形顶点凸凹性识别算法的研究与实现 汪学明 贵州大学信息工程学院 贵州贵阳 【期刊】计算机应用 2005-08-10

38 基于Internet的远程多媒体作业管理系统的研究与实现 汪学明; 董芳 贵州大学信息工程学院; 贵州大学信息工程学院 贵州贵阳; 贵州大学软件与理论研究所; 贵州贵阳 【期刊】计算机应用 2005-12-30

39 多方安全协议的形式化分析方法研究与应用 汪学明 贵州大学 【博士】贵州大学 2008-03-01

荣誉奖励:


1. 2003年获贵州大学优秀教学成果二等奖。

2. 2006年获贵州大学优秀毕业设计指导特等奖。

资料更新中……

媒体报道:


信息安全博士网专访:贵州大学汪学明

人物简介:

汪学明(1965.1)男,教授,博士。贵州大学计算机学院学术委员会委员、信息安全实验室主任,贵州省计算机学会理事、贵州省逻辑教学研究会副会长、贵州制约逻辑学会常务副理事长,中国密码学会高级会员。

主要研究方向:无线与移动网络、密码学与信息安全、协议分析与模型检测、逻辑学及其应用。主持参加国家自然科学基金项目1项、省自然基金项目3项、省教育厅自然基金项目3项、贵阳市科技攻关项目2项、校级项目6项。参加国际学术会议12次(担任Session Chair 6次)、国内学术会议16次,主办“全国性逻辑系统、智能科学与信息科学学术会议”4届。发表论文60余篇 (其中核心16篇、SCI收录1篇、EI收录4篇、ISTP收录5篇)。主编出版《Java语言及应用》、《Java程序设计指导》、《逻辑学及其应用研究》等著作3部。

专访正文:

主持人:各位网友大家好!

欢迎来到本期的中国信息安全博士网高端访谈栏目。我是润洁,今天做客嘉宾是:贵州大学计算机学院学术委员会委员、信息安全实验室主任——汪学明教授。

我们知道汪教授在逻辑学领域有着深厚的积累,可是逻辑学对于很多人来说很陌生,大家对信息安全的理解主要为攻防技术,但是以逻辑为基础的形式化技术同样在信息安全领域中有着重要的地位,那么请汪教授首先介绍一下形式化技术在信息安全领域中的应用。

汪教授: 形式化技术在信息安全领域中的应用目前主要集中在安全协议的形式化分析和设计。

长期以来,密码学专家一直依赖经验性的指导原则来设计安全协议(又称密码协议),这种非形式化的设计方法很容易忽略掉一些微妙的直觉难以发现的漏洞。由于安全协议运行的复杂性,对安全协议进行分析以及设计都是非常困难的。因此,将形式化方法用于安全协议的分析与设计过程成为必然。

主持人:用于信息安全领域的形式化技术有哪些?

汪教授: 安全的密码协议是网络通信和应用必不可少的组件之一,是构筑信息安全体系的基础。设计安全和有效的密码协议是协议工程领域中的主要研究内容。在设计、描述(建模)、验证、性能分析、实现、测试和维护等协议工程的各个环节中,协议验证是最为关键的一个环节。协议分析和协议综合是实现协议验证的两种有效途径,前者更为有效和实用。自上个世纪七十年代末以来,人们提出多种安全协议分析的形式化理论,包括Dolev-Yao模型、模态逻辑、Paulson归纳法、串空间模型以及Spi演算理论等,并从这些理论中归纳出基于模态逻辑推理、基于模型状态检验、基于定理证明和基于类型检测等安全目标验证方法。前两类方法只能推理密码协议的不安全性,不能给出其安全目标的可信证明,而后一类方法又不具有完备性,唯有基于定理证明的安全目标验证方法试图给出密码协议的安全性证明。

主持人:当前,国内外采用形式化技术在信息安全领域中的研究有哪些进展?

汪教授: 国内外采用形式化技术在信息安全领域中的最新研究有:

(1)基于ATL博弈逻辑形式化方法及其在多方安全协议分析中的应用研究

(2)基于TLA(行为时序逻辑)形式化方法及其应用研究面

(3)基于进程演算和知识推理的安全协议形式化分析

(4)基于逻辑的复合协议形式化分析方法研

(5)量子密码协议的形式化分析方法研究

值得一提的是,贵州大学计算机软件与理论研究所、博士点、博士后工作站的研究团队在基于ATL、TLA、进程演算和知识推理的形式方法及其应用研究方面都开展了大量工作。

汪教授指点信息安全迷津

主持人:对于有志于从事信息安全形式化技术研究的学生,请汪教授指点下如何起步?

汪教授:安全协议(密码协议)比一般的网络协议复杂,因为它涉及加密、认证和密钥交换等密码学知识。所以安全协议的分析与设计实际上是密码学的一个非常重要的应用领域,也是信息安全的研究重点之一。

对于有志于从事信息安全形式化技术研究的学生,首先应该具有稳固的数学和计算机网络基础、扎实的密码学与信息安全原理知识。然后从现有的比较成熟且简单易学的模态逻辑方法入手,阅读大量相关文献资料,理解模型逻辑的公理或推理规则并运用它分析简单的安全协议。在熟练运用后可以对形式化逻辑方法中的逻辑推理规则进行扩展,进而结合协议的应用环境分析更为复杂的安全协议。在模型检测技术方面,可以从熟悉模型检测工具的运用入手,着重研究模型检测工具基于的形式化逻辑体系和使用的建模语法,研究如何更加有效地采用建模语法描述协议和用形式化的逻辑方法描述协议所应具备的安全属性。进一步的工作,可以自己设计一套建模流程、改进建模工具、提出安全属性新的逻辑描述等。对于数学基础牢固的同学可以适时开展基于定理证明的安全协议形式化分析。

主持人:安全协议的形式化分析可以使用许多模型检测工具,他们分别基于不同的逻辑,请汪教授介绍下他们各自的特点。

汪教授:目前安全协议的形式化分析可以使用的模型检测工具很多,其中著名的有Spin 、SMV、Mocha,他们分别基于线性时序逻辑LTL、计算时序逻辑CTL和交换时序逻辑ATL。

基于线性时序逻辑的模型检测工具Spin具有很强的描述能力,可以对协议系统进行形式化建模分析,并且在系统不满足某一安全属性时自动给出图形化的反例,易于分析,因此得到了广泛应用。基于计算时序逻辑的模型检测工具SMV能够对协议的并发性进行更为准确的描述。但是Spin和SMV都存在以封闭系统方式分析安全协议的缺点。基于ATL逻辑的模型检测工具Mocha克服了这个缺点,它可以更好地描述协议主体之间合作和竞争的关系,以及协议内部和外部环境的联系,更适用于分析复杂的多方安全协议。

主持人:形式化技术在信息安全领域中的推广应用还需要我们做哪些工作?

汪教授:形式化方法是一种用于描述系统性质的数学方法,主要用于发现一个系统中的歧义性、不一致性与不完备性。但是,现有的形式化分析方法都不很完善。为了促进形式化技术在信息安全领域中的推广应用,首先应该增强信息安全工作者自觉运用形式化技术分析和解决信息安全问题的意识。然后通过对现有的形式化分析理论和技术进行深入研究,扩展或提出新的形式化方法,完善或开发新的模型检测工具,并把这些新方法、新工具运用于信息安全领域。

主持人:在信息安全研究中,从事信息安全形式化技术相关方面研究的学生数量比较少,研究过程中会遇到重重困难,那么请汪教授对已经从事信息安全形式化技术以及有志于从事信息安全形式化技术方面研究的学生给些建议。

汪教授:形式化方法及其在信息安全领域的应用研究方兴未艾。对于已经从事信息安全形式化技术研究的同学,我希望他们不怕困难,勇于创新,相信通过他们的不懈努力,一定会取得圆满成功。对于有志于从事信息安全形式化技术方面研究的同学,请现在就抓紧时间认真学习形式化方法及相关知识,同时对自己即将从事的研究工作有一个全面了解,不要急功近利,坚持到底就是胜利。预祝同学们为我国的信息安全形式化技术的发展做出自己应有的贡献。

主持人:感谢汪教授做客中国信息安全博士网——高端访谈栏目,我是润洁,下期再见。

文章来源:《中国信息安全博士网》2011-04-13

文章录入:曹宁    责任编辑:王坤 
  • 上一篇文章:

  • 下一篇文章: 没有了
  • 关于我们 | 加入收藏 | 联系我们 | 设为首页 | 广告说明 | 合作项目

    主办单位名称:科技创新网

    备案序号:京ICP备06031925号

    版权所有 未经授权禁止复制或建立镜像 E-Mail:zgkjcx08@126.com