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

专家信息:


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

创办安徽绩溪网,安徽绩溪网(www.ahjixi.com)始建于1996年3月,是第一个上网宣传安徽绩溪的公益性网站。网站的服务宗旨是:让世界了解绩溪,让绩溪走向世界。

教育及工作经历:

1983年9月至1987年7月安庆师范学院本科学习,获理学学士学位。

1987年9月至1990年7月贵州工学院攻读硕士,硕士研究生毕业。

1990年7月至今在贵州大学(原贵州工业大学)计算机科学与技术学院从事计算机科学和信息安全等专业的教学与科研工作。

2001年9月至2004年7月参加贵州工业大学计算机应用专业硕士研究生班学习,取得优异成绩。

2004年7月-8月参加教育部举办的暑期计算机科学与技术高级研讨班学习,主修《可计算性与计算复杂性》、《密码学及应用》两门重要课程。

2004年9月-2008年5月贵州大学计算机学院计算机软件与理论研究所攻读博士,获工学博士学位。

1990年7月至今在贵州大学(原贵州工业大学)计算机科学与技术学院从事计算机科学和信息安全等专业的教学与科研工作。

2005年9月加入中国致公党。 

社会任职:

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

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

3. 全国计算机网络教育研究会理事。

4. 中国计算机学会会员。

5. 中国信息安全技术大会学术委员会委员。

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

7. 美国计算机学会(ACM)会员。

8. 贵州省逻辑教学研究会常务副会长。

9. 贵州省计算机学会常务理事兼副秘书长。

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

11.贵州省逻辑学会常务理事。

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

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

14. 计算智能与安全(CIS)国际学术会议程序委员会委员。

15.《信息安全与技术》编委会委员。

16.《网络空间安全》编委。

17.国家自然科学基金项目评审专家。

18.《计算机科学与工程》审稿专家。

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

20. 黄山汪华文化研究会常务理事。

21. 汪华故里徽学研究会名誉会长。 

22. 贵州大学安徽同乡会名誉会长。

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

人才培养:


教学情况:

主讲课程:

一、博士生课程:

(1) 形式化理论与方法 (2)分布式与并行计算

 二、硕士生课程

(1)安全协议形式化分析与验证 (2)分布式与并行算法 (3)程序设计语言原理  (4)高等计算机网络  (5)面向对象程序设计 (6)TCP/IP网络原理与技术(7)统一软件开发与中间件技术 (8)计算机理论与实践

 三、本科生课程

(1)计算机网络 (2) 信息安全原理 (3)C++面向对象程序设计 (4)JAVA语言程序设计(5)网络开发技术 (6) 数字图像处理  (7)人工智能原理及应用 (8)数理逻辑 (9)离散数学(10)操作系统   等课程的教学工作,同时还担任计算机及相关专业的生产实习、课程设计、毕业设计等实践性教学环节的指导工作,指导的毕业设计曾多次获省、校级优秀毕业设计。2003年获校优秀教学成果二等奖,2006年荣获校优秀毕业设计指导特等奖。

培养研究生情况:

招收培养计算机及相关专业硕士生39人(其中硕博连读1人,攻读博士5人)。

贵州大学 计算机、通信和逻辑学专业统招硕士研究生:

2004级

计算机应用技术(密码学及其应用):

黄国芳(工程师)(1人 已获得 贵州大学 工学硕士学位)

计算机应用技术(安全协议形式化分析):

党继胜 (1人 已获得 贵州大学 工学硕士学位)

逻辑学(归结原理及其应用):

付朝辉(1人 已获得 贵州大学 哲学硕士学位)

2005级

计算机应用技术(安全协议形势化分析):徐 洋(1人提前读博 已获得 贵州大学 工学博士学位)

通信与信息系统(智能网及下一代网络):王万成(1人 已获得 贵州大学 工学硕士学位)

2006级

通信与信息系统(网络与信息安全):周照峰 (1人 已获得 贵州大学 工学硕士学位)

逻辑学(当代形势逻辑及其发展):王祥兵(1人 已获得 贵州大学 哲学硕士学位,考取上海工大博士)

2007级

信号与信息处理系统(智能网与下一代网络):

雷 鸣(1人 已获得 贵州大学 工学硕士学位)

计算机软件与理论(安全协议形式化分析):

崔 楠 (1人 已获得 贵州大学 工学硕士学位)

计算机软件与理论(语义网及其应用):

李桂华(1人 已获得 贵州大学 工学硕士学位)

逻辑学(当代形势逻辑及其发展):

高文逊(1人 已获得 贵州大学 哲学硕士学位)

2008级

计算机软件与理论(安全协议形式化分析):

翁立晨(1人 已获得 贵州大学 工学 硕士学位)

计算机软件与理论(密码学及应用):

任瑞芳 董玉蓉(2人 已获得 贵州大学 工学 硕士学位)

通信与信息系统(智能网与下一代网络):

陈 霄 (1人 已获得 贵州大学 工学 硕士学位)

逻辑学(逻辑应用):

卢 韵(1人 已获得 贵州大学 哲学 硕士学位)

2009级

计算机软件与理论(安全协议形式化分析):

周 璇 (1人 已获得 贵州大学 工学 硕士学位)

通信与信息系统(无线与移动Ad Hoc网络):

杨吟君 (1人 已获得 贵州大学 工学 硕士学位)

张 怡 (1人 已获得 贵州大学 工学 硕士学位)

2010级

计算机软件与理论系统(密码学及其应用):

冯 君 (1人 已获得 贵州大学 工学硕士学位,荣获国家奖学金和校优秀硕士学位论文 考取武汉大学博士)

通信与信息系统(通信网与下一代网络):

汤 玉 (1人 已获得 贵州大学 工学 硕士学位)

逻辑学(逻辑学及其应用):

彭 月(1人 已获得 贵州大学 哲学 硕士学位)

2011级

计算机软件与理论(密码学及其应用):

陆卫新(1人 已获得 贵州大学 工学 硕士学位)

通信与信息系统(无线与移动通信):

沈亮光 (1人 已获得 贵州大学 工学硕士学位,荣获国家奖学金和贵州省优秀毕业生称号)

电子与通信工程(无线与移动通信):

郑继红 (1人 已获得 贵州大学 工程硕士学位,考取北京理工大学攻读博士)

2012级

电子与通信工程(密码学及其应用):1 人

冯 阳(1人 已获得 贵州大学 工程硕士学位,澳大利亚国立大学 攻读博士)

电子与通信工程(无线与移动通信):1人

常福星(1人 已获得 贵州大学 工程硕士学位,武汉理工大学 攻读博士)

2013级

计算机软件与理论(密码学及其应用):1 人

张言顺(1人 已获得 贵州大学 工学 硕士学位)

通信与信息系统(网络与信息安全): 2人

仇各各 (1人 已获得 贵州大学 工学 硕士学位)

何光蓉 (1人 已获得 贵州大学 工学 硕士学位)

2014级

信息安全(网络与信息安全): 1人

卢 宇 (通过学位论文开题答辩,全面开展硕士学位论文研究工作......)

通信与信息系统(网络与信息安全):1人

徐 伟(通过学位论文开题答辩,全面开展硕士学位论文研究工作......)

2015级

计算机软件与理论(密码学及其应用):1人

汤海婷(已完成研究生阶段课程学习,开始选题题并准备硕士学位论文开题报告)

信息安全(网络与信息安全):1人

高明(已完成研究生阶段课程学习,开始选题并准备硕士学位论文开题报告)

通信与信息系统(网络与信息安全):2人

汪杰 希塔(留学生)(已完成研究生阶段课程学习,开始选题并准备硕士学位论文开题报告)

计算机技术(云计算、物联网与信息安全):2人

张海龙 程晗(已完成研究生阶段课程学习,开始实习并准备硕士学位论文开题报告)

电子与通信工程(通信工程):1人

闫思锐 (已完成研究生阶段课程学习,开始实习并准备硕士学位论文开题报告)

2016级

计算机技术(云计算、物联网与信息安全):2人

董黛莹 翟航天(正在制定研究生培养计划,开始进行研究生专业基础和学位课程学习)

软件工程(网络与信息安全):1人

丁月 (正在制定研究生培养计划,开始进行研究生专业基础和学位课程学习)

2017级 拟招收硕士4-5人 欢迎报名加盟我们的科研团队!

计算机软件与理论、信息安全 (学硕) 2人

计算机应用、软件工程、电子与通信工程 (专硕)3人

Email:gs_xmwang@163.com QQ:394917657

贵州大学 计算机科学与信息学院工程硕士:

2004级工程硕士:

吴坤杰 何 毅 刘 颖 张晓刚(4人已获得 贵州大学 工程硕士学位)

2005级高师在职硕士:

黄伟峰 赵本喜 杜跃忠 谭洪泉(4人已获得 贵州大学 工程硕士学位)

2006级工程硕士:

吴 量 吴 涛 林丽建(3人 已获得 贵州大学 工程硕士学位)

郭 浩(1人 正在准备硕士学位论文)

2007级工程硕士(军区班):

汤凯华 (1人 已获得 贵州大学 工程硕士学位)

2007高师在职硕士:

王远敏(1人 已获得 贵州大学 高校教师硕士学位)

2007级工程硕士:

蒋洁 张瑞 罗毅 屠志青 (4人 已获得 贵州大学 工程硕士学)

2008级工程硕士:

唐颖 (1人 已获得 贵州大学 工程硕士学位)

孟应刚 李渊 梁榕 (3人 已获得 贵州大学 工程硕士学位)

云南大学 软件工程(电子政务方向) 工程硕士

一班:宇 燕 孙 萍 张祥云 刘 婕(4人已获得 云南大学 工程硕士学位)

二班:徐鹏泽 吴兴平 沈雪梅 夏增强 罗宏炜 杜 娟 刘 健 曾宪灵(8人已获得 云南大学 工程硕士学位)

三班:叶剑军 张慧江(2人已获得 云南大学 工程硕士学位)

科学研究:


主要研究方向:

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

承担科研项目情况:

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

一、国家级科研项目

1.基于HECC的群体密码系统及其应用研究  [2011] 61163049号  国家自然科学基金项目 主持 48.0万

2.分布式密码系统中的基础协议与公平性研究 [2009] 60963023号 国家自然科学基金项目 主持 22.0万

3.安全协议的行为时序逻辑验证与具有公平性约束的部分状态空间模型检测 [2011] 61163001号  国家自然科学基金项目 主持 36.0万

4.基于Web的订单安全管理系统的研究与开发 2005国际合作 留德计算机学会 杨凌博士

5.基于并行重写系统通信协议的研究及开发  2005国际合作 留日学生联合会 戴闽鲁博士 

6.《计算机网络》重点课程建设  教育部特色专业建设项目 主持 15.0万 

二、省部级项目

1.MANET 多目标路由协议的改进与仿真建模 黔科合J字[2014]7641号 贵州省自然科学基金项目  主持 5.0

2.Ad hoc网络安全多径按需式路由协议改进及其应用研究 黔科合J字[2011]2197号 贵州省自然科学基金项目  主持 6.0万

3.基于SVO逻辑形式化验证方法改进及其应用  黔科J字[2005]2110号 贵州省自然科学基金项目 主持5.0万

4.基于椭圆曲线密码体制门限签密研究  黔科J字[2005]2107号 贵州省自然科学基金项目 参加 3.0万

5.密码学与安全协议创新团队 黔教合人才团队字(2013)09号 贵州省教育厅项目 参加 10.0万

6.基于Internet的远程多媒体教学系统的研究与开发 黔教高发[2000]518号  贵州省教育厅项目 主持6.0万

7.基于J2EE框架结构的电子商务系统开发 2005校企合作 贵州省商贸厅项目 主持 12.0万

三、市级、校级科研项目

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

2.新型公平多方交换协议设计及其形式化分析研究  贵大人基合字[2008]005号  贵州大学引进人才科研项目 持 6.0万

3.基于行为时序逻辑的多行为的性质规则与检测 贵大人基合字[2009]021号  贵州大学引进人才科研项目 主持 4.0万

4.信息安全专业规划与建设  校教改项目  参加3.0万

5.《信息安全原理与技术》重点课程建设  校教改项目 参加2.6万

学术交流:

国际学术会议12次(担任Session Chair 6次)、国内学术会议18次,主办“全国性逻辑系统、智能科学与信息科学学术会议”4届。

论文专著:


发表论文60余篇(其中核心16篇、SCI收录1篇、EI收录12篇、ISTP收录8篇),主编出版《Java语言及应用》、《Java程序设计指导》、《逻辑学及其应用研究》著作3部。   

出版专著:

1、《Java程序设计指南》,汪学明,重庆大学出版社,2001.9。

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

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

发表期刊论文:

2017年:

107. 卢 宇,汪学明.超椭圆曲线上Weil对的变种与计算的研究J. .计算机工程与设计(中文核心期刊).2017年5月第38卷第5期,pp1196-1199,1024.(New)

106. 卢 宇,汪学明.超椭圆曲线上斜-Frobenius映射及有效标量乘算法研究J. .计算机工程(中文核心期刊)2017年6月第43卷第6期,pp78-83,91.(New)

105. 卢 宇,汪学明.一种新的基于HECC的多方公平交换协议J. .计算机应用与软件(中文核心期刊).2017年2月第34卷第2期,pp299-303.(New)

104. 汤海婷,汪学明.一种基于格的属性多重加密方案J. .计算机工程(中文核心期刊)(已优先出版).2017年3月

103. 汤海婷,汪学明.一种格上基于改进盆景树模型的属性签名方案J. .计算机应用研究(中文核心期刊) (已优先出版).2017年5月

102. 高明,汪学明.基于量子理论的多方秘密共享方案的构建J. .计算机应用研究(中文核心期刊)(已优先出版).2017年6月

101. 汤海婷,汪学明.Spi演算的扩展及其对JFKi协议的分析与改进J. .计算机工程与设计(中文核心期刊).2016年9月(已录用)

100. 汪 杰,汪学明.改进的轻量级移动RFID双向认证协议J. .计算机工程与设计(中文核心期刊).2017年4月(已录用)

2016年:

99. 高 明,汪学明.基于权重的伪随机密钥选取的无可信第三方不可否认协议.贵州师范学院学报.2016年12月第32卷第12期,pp.22-27.(New)

98. 汪 杰,汪学明.一种基于簇链式的异构WSN路由协议J. .贵州师范学院学报.2016年9月第32卷第9期,pp1-6(New)

97. 徐 伟,汪学明.一种新的轻量级NFC身份认证协议J. .通信技术(中文科技核心).2016年11月第49卷第11期(总第299期),pp1529-1534.(New)

96 张言胜,汪学明,仇各各.一种新的动态门限数字签名方案J. .信息网络安全(中文科技核心).2016年第6期(总第186期),pp62-67.(New)

95. 何光蓉,汪学明.一种新的基于HECC的Ad hoc组密钥管理方案J. .信息网络安全(中文科技核心).2016年第5期(总第185期),pp58-63.(New)

2015年:

94. Yansheng Zhang, Xueming Wang and Gege Qiu.A Secure and Efficient Threshold Group Signature SchemeC. .Proceedings of the 3rd International Conference on Mechanics, Mechatronics and Intelligent System (AMMIS2015),June 19-20, 2015,Nanjing,China.(Published by WSP,ISBN:978-981-4733-86-1) PP.567-573.(EI收录)

93. Gege Qiu, Xueming Wang and Yansheng Zhang.A Schnorr multiple digital signatures based on the hyperelliptic curve cryptosystemC. .The 3rd International Conference on Mechanics, Mechatronics and Intelligent System (AMMIS2015),June 19-20, 2015,Nanjing,China.(Published by WSP,ISBN:978-981-4733-86-1)PP.574-580.(EI收录)

92. Xueming Wang,Fuxing chang.A new multi-objective routing protocol of ad hoc based on routing constrainsC. .Proceedings of the 11th International Conference on Wireless Communications, Networking and Mobile Computing(WiCOM2015),September 21-23,2015,Shanghai,China.(Published by IET,ISBN:978-1-78561-034-9)PP.771-775(EI收录)

91. 冯 阳,汪学明.基于HECC的门限群签密研究J. .通信技术,2015年5月第48卷第5期,PP607-610.

90. 冯 阳,汪学明.基于HECC的门限秘密共享方案J. .信息安全与技术,2015年2月第6卷第2期,PP18-20,27.

89. 仇各各,汪学明.基于HECC的WSN身份认证协议研究.信息网络安全,2015年12月第12期,PP35-39.

88. 徐 伟,汪学明.基于相互关系的自适应多目标Ad Hoc路由协议研究.通信技术,2015年12月第48卷第12期,PP.1384-1388.

2014年:

87. 沈亮光,汪学明.基于速度自适应的新型ZRP路由协议J. .计算机工程与设计(核心期刊).2014年12月第35卷第12期,pp 4083-4087(NEW).

86. 陆卫新,汪学明.超椭圆曲线上的Ate对变种及其计算的研究J. .计算机工程与设计(核心期刊).2014年5月第35卷第5期,pp1578-1582(New).

85. 郑继红,汪学明.新的无线分布式传感控制网络研究与实现J. .计算机工程与设计(核心期刊). 2014年5月第35卷第5期,pp1531-1535(New).

84. 常福星,汪学明.移动Ad hoc 网络多目标路由协议的仿真分析J. .数字通信.2014年8月第41卷第4期,pp 28-31.(NEW)

2013年:

83. Feng, Jun; Wang, Xueming; Sun, Hong.Efficiently computable endomorphism for genus 3 hyperelliptic curve cryptosystemsJ. . Feng, J (Feng, Jun) ; Wang, XM (Wang, Xueming) ; Sun, H (Sun, Hong) . Information Processing Letters(国际源刊),Vol.113,No.12,JUN 30, 2013,pp405-408.(SCI、EI等同时收录)(SCI:142ZA WOS:000318834900001、EI :20131516188555)

82. 冯君,汪学明.基于超椭圆曲线密码体制的RFID安全协议J. .计算机工程与设计(核心期刊),2013年10月第34卷第10期,pp3727-3430,3679.

81. 冯君,汪学明.一种高安全的门限群签密方案J. .计算机应用研究(核心期刊),2013年2月第30卷第2期,pp 503-506 .

80. 沈亮光,汪学明.移动Adhoc网络ZRP路由协议的仿真分析J. .通信技术, 2013年8月第46卷第8期,pp 71-73.

79. 郑继红,汪学明.基于MSP430的风机盘管温控器设计与实现J. .微型机与应用 2013年7月第32卷第13期:17-19,23.

78. 汤玉,汪学明.一种分层路由协议的改进和仿真分析J. . 通信技术,2013年第45卷第4期,pp43-46.

2012年:

77. 周璇,汪学明.微支付协议Millicent的改进与模型检测J. .计算机工程与科学(核心期刊),2012年第34卷第12期,pp 22-26.

76. 杨吟君,汪学明.SMR路由协议的改进与仿真分析J. .计算机工程(核心期刊),2012年第38卷第18期,pp 77-79.

75. 张怡,汪学明.基于信任及能量评估的AODV安全路由J. . 通信技术,2012年4月,第45卷第4期,pp 13-15,19.

74. 汤玉,汪学明.LEACH协议的仿真分析与改进J. .通信技术,2012年11月,第45卷第11期,pp 44-46,50.

2011年:

73. Yinjun Yang,Xueming Wang. Improvement and analysis of multipath routing protocol AOMDV based on CMMBCRC. .7th International Conference on Wireless Communications, Networking and Mobile Computing (WiCOM2011), September 23-25, Wuhan, China.(EI 检索:20114414461763).

72. Xuan Zhou,Xueming Wang.Improvement and Formal Analysis of Mobile Micro-payment Protocol PaywordC. .ICITIS 2011 - 2011 IEEE International Conference on Information Theory and Information Security(ICITIS2011),4-6,November 2011,Hangzhou,China. pp.230-233.

71. Yi Zhang,Xueming Wang.An ADOV Secure Routing Scheme Based On Trust EvaliationC. .ICITIS 2011 - 2011 IEEE International Conference on Information Theory and Information Security(ICITIS2011),4-6,November 2011,Hangzhou,China. pp.315-319.

70. 汪学明,翁立晨.基于ATL逻辑的公平多方不可否认协议的分析与改进J. . 信息安全与技术,2011年9月,第2卷9期.

69. 周璇,汪学明.移动微支付协议Payword的改进与形式化分析J. .计算机工程与设计(核心期刊),2011 年8月第32卷8期,pp.2572-2574,2579.

68. 杨吟君,汪学明.基于ADMDV的多径路由协议改进及仿真分析J. . 通信技术,2011年8月,第44卷8期,pp45-47.

67. 张怡,汪学明.按需路由协议AODV的安全性改进与仿真J. .通信技术,2011年8月,第44卷8期,pp124-126.

66. 陈霄,汪学明.基于综合智能网的统一计费系统研究J. .通信技术,2011年7月,第44卷7期,pp115-117.

65. 董玉蓉,汪学明.一种改进的存在特权集的门限群签名方案J. .计算机工程与科学(核心期刊),2011年4月,第33卷第4期,pp.13-18.

64. 任瑞芳,汪学明.基于ECC的广义门限签密方案设计J. .计算机工程与设计(核心期刊),2011 年1月,第32卷第1期,pp.17-20.

2010年:

63. Wang, Xueming; Weng, Lichen.Game-based analysis and improvement of a fair contract signing protocolC. .Proceedings - 2010 International Conference on Computational Intelligence and Security, CIS 2010, p 325-328.(EI检索: 20110813681557)

62. Xiaoqiong Wang,Xueming Wang.Formal Analysis Of Multi-party Non-repudiation Protocols Without TTPC. .2010 International Conference on Communications and Intelligence Information Security(ICCIIS 2010),13-14,October 2010,Nanning,Guangxi,China,pp:96-99.(EI检索:20110913701743)

61. Wang Xueming; Ren Ruifang.Design of generalization of threshold signcryption scheme based on ECCC. . Proceedings 2010 IEEE International Conference on Information Theory and Information Security, ICITIS 2010, p 46-49. (EI检索:20110813677024)

60. Wang, Xueming; Dong, Yurong.Threshold group signature scheme with privilege subjects based on ECCC. .Proceedings - 2010 International Conference on Communications and Intelligence Information Security, ICCIIS 2010, p 84-87.(EI检索:20110913701744)

59. 崔楠,汪学明.通信限制场景下的安全移动支付协议研究J. .计算机工程与设计(核心期刊),2010年8月第31卷9期,pp.1950-1953.

58. 李桂华,汪学明.语义信息检索框架设计及其算法研究J. .计算机技术与发展,2010年8月第8期.

57. 李桂华,汪学明.基于本体的语义信息检索的研究J. .电脑知识与技术.2010年2月第6卷第5期.

56. 李桂华.基于Jena的语义信息检索应用研究J. .计算机与信息技术,2010年Z1期.

55. 陈霄,汪学明.下一代网络开放业务接口的研究J. .通信技术,2010 年12月第12期,pp109-111

54. 翁立晨,汪学明.公平的电子合同签署协议的博弈分析与改进J. .计算机工程与设计(核心期刊),2010年12月,第31卷24期,pp.5347-5350,5362.

53. 白金山,崔楠,李祥.行为时态逻辑TLA定理系统证明及公平性研究J. .计算机工程与设计(核心期刊),2010年第31卷第03期.

52. 卢韵,汪学明 模糊逻辑在汽车4S企业售后服务绩效考核中的应用研究J. .电脑知识与技术,2010年8月第6卷第22期.

51. 卢韵.模糊逻辑的哲学意义初探J. .北京电力高等专科学校学报(社会科学版),2010年第30卷第7期.

 

2009年:

50. Wang Xueming.Formal analysis and improvement of multi-party non-repudiation protocolC. .Proceedings - 5th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2009, 2009, Beijing,China.(EI 检索:20100112610235)

49. Wang, Xueming; Cui, Nan.Research of security mobile payment protocol in communication restrictions scenariosC. .CIS 2009 - 2009 International Conference on Computational Intelligence and Security, v 2, p 213-217. (EI 检索:20101112768857)

48. 汪学明.多方安全协议的形式化分析方法研究与应用D. .中国博士学位论文全文数据库 信息科技辑(月刊),2009年第02期.

47. 雷 鸣,汪学明.Parlay API在NGN中的应用研究J. .通信技术.2009年11月第42卷第11期,pp155-156,190.

546 翁立晨,汪学明.进程调度模型的Spin验证分析与改进J. .计算机应用,2009年7月,S2期.

45. 周照峰,汪学明.高速网络数据包捕获技术方法研究J. .科技经济市场,2009年2月第2期.

44. 郭 浩,汪学明.入侵检测系统误报率和漏报率的改善方法研究J. .科技经济市场,2009年6月第6期.

2008年:

43. 徐洋,汪学明. 一个新的电子支付协议及其形式化分析J. .计算机应用与软件,2008,(09),pp.93-94,124.

42. 徐洋,谢晓尧,汪学明. 基于Rubin逻辑的SSL协议安全性分析J. .微计算机信息, 2008,(30)

41. 党继胜,汪学明.基于公钥的Kerberos认证协议改进与证明.计算机应用,2006年12月第26卷S1期.

40. 汪学明.多方公平交换协议的形式化分析研究C. .第二届全国性逻辑专题研讨会论文集.2006年11月.

39. 徐洋,汪学明.一个新的电子邮件协议的形式化分析J. .计算机应用研究,2008年7月第25卷S1期.

38. 崔楠,汪学明.基于SVO逻辑的电子商务协议非否认性形式化分析.逻辑学及其应用研究.第四届全国逻辑系统、智能科学与信息科学学术会议论文集,2008年.

37. 王远敏,汪学明.一种改进的含离线可信第三方多方不可否认协议C. .逻辑学及其应用研究.第四届全国逻辑系统、智能科学与信息科学学术会议论文集,2008年.

36. 雷鸣,汪学明.IP网络中智能网呼叫模型支持多媒体服务的研究C. .逻辑学及其应用研究.第四届全国逻辑系统、智能科学与信息科学学术会议论文集,2008年.

35. 任瑞芳,汪学明.关于木马攻击及防范技术的研究C. .逻辑学及其应用研究.第四届全国逻辑系统、智能科学与信息科学学术会议论文集,2008年.

34. Yang Xu, Xiaoyao Xie.Analysis of Authentication Protocols Based on Rubin LogicC. . 4th IEEE Int. Conf. Wireless Communications, Networking, Mobile Computing, pp:1-5, 2008.(EI 收录)

33. Yang Xu,Xiaoyao Xie.Analysis of Electronic Commerce Protocols Based on Extended Rubin LogicC. .9th International Conference for Young Computer Scientists, pp: 2079-2084, 2008..(EI 收录)

32. Yang Xu,Xiaoyao Xie.Extending Rubin Logic for Electronic Commerce ProtocolsC. .2nd International Conference on Anti -counterfeiting, Security, and Identification, pp: 448-451, 2008.(EI 收录)

2007年:

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

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

29. 黄国芳,汪学明.基于椭圆曲线门限签名机制的研究及安全性分析J. .计算机应用研究,2007年4月第4期.

28. 黄国芳,汪学明.基于椭圆曲线(t,n)门限共享解签密方案J. .贵州工业大学学报(自然版),2007年4月第4期.

27. 王万成, 汪学明. 基于JAIN API的智能网技术研究与实现J. .贵州大学学报(自然科学版), 2007年6月第6期.

26. 樊玫玫, 彭长根, 汪学明. 主动网络的一种安全体系结构J. .贵州大学学报(自然科学版), 2007年4月第4期.

25. 赵本喜,汪学明.基于ECC的前向安全代理签名方案研究J. .贵州师范大学学报 2007年10月第4期(总第30期)

24. 黄伟峰,汪学明.一种包过滤的拒绝服务攻击的防御策略J. .贵州大学学报(自然版) 2007年4月第24卷第S1期

23. 何 毅,汪学明.电子邮件网络无标度特性形成的演化过程研究J. .贵州大学学报(自然版) 2007年4月第24卷第S1期

22. 林丽建,汪学明.基于MPLS VPN的GYGIS数据交换网络平台建设J. .贵州大学学报(自然版) 2007年4月第24卷第S1期

21. 张晓刚,汪学明.MPLS VPN组网中QoS实现J. .贵州大学学报(自然版) 2007年4月第24卷第S1期

20. 谭洪泉,汪学明.MPLS VPN技术及其在远程教育中的应用研究J. .贵州大学学报(自然版) 2007年4月第24卷第S1期

19. 吴坤杰,汪学明.基于GPRS的无线POS在金融服务行业的应用J. .贵州大学学报(自然版) 2007年4月第24卷第S1期

18. 吴 涛,汪学明.J2ME技术在移动证券中的应用研究J. .贵州大学学报(自然版) 2007年4月第24卷第S1期

17. 刘 颖,汪学明.基于隐私保护的数据挖掘技术探讨J. .贵州大学学报(自然版) 2007年4月第24卷第S1期

16. 杜跃忠,汪学明.基于MVC模式的在线书店的设计与实现J. .计算机科学 2007年7月第34卷第7期

15. 汪学明.制约逻辑与计算机科学相关问题的探讨J. .毕节学院学报(综合版) 2007年2月第25卷第1期

14. 汪学明,龚启荣.作为联结关系“偶然”和“风马牛”的逻辑含义J. .贵阳学院学报(社会科学版) 2007年5月第2期

2006年:

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

 

2005年:

12. 汪学明.多边形顶点凸凹性识别算法研究与实现J. .计算机应用(核心期刊),2005年8月第25卷第8期.

11. 汪学明.基于PHP和MySQL的远程多媒体作业管理系统的设计与实现J. .计算机科学(核心期刊),2005年32卷第7期.

10. 汪学明,董芳. 基于Internet的远程多媒体作业管理系统的研究与实现J. .计算机应用,2005,S1.

9. 徐 洋.一个新的电子支付协议J. .贵州大学硕博论坛,2006年12月第2期.

2004年:

8. 汪学明.基于Internet的远程多媒体考试系统研究及开发J. .计算机科学(核心期刊),2004年31卷第11期.

2003年:

7. 汪学明.基于Linux平台的动态防火墙技术的研究J. .现代机械,2003年8月第4期.

6. 汪学明.基于PHP和MySQL的B/W/D三层结构动态Web数据库应用系统的研究与开发J. .贵州工业大学报(自然版),2001年32卷第2期.

5. 汪学明.关于多边形顶点凸凹性识别算法的研究J. .贵州电力技术,2003年10月第6卷第10期.

4. 汪学明.关于面向对象软件开发方法的研究J. .贵州财经学院学报,2003年6月总105期.

2002年:

3. 汪学明,梅其君.关于网络社会问题的思考J. .贵州工业大学报(社科版),2002年4卷第4期.

1997年:

2. 汪学明,谢晓尧.贵州工业大学校园网计工系子网系统的规划与建设J. .贵州工业大学报(自然版),1997年26卷第5期.

1. 汪学明.高校招生管理信息系统研制J. .贵州工业大学报(自然版),1997年26卷第1期.

发表会议论文:

1 一种改进的含离线可信第三方多方不可否认协议 王远敏; 汪学明 逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议 中国会议 2008-06-30

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

3 基于SVO逻辑的电子商务协议非否认性形式化分析 崔楠; 汪学明 逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议 中国会议 2008-06-30

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

5 制约逻辑与计算机科学相关问题的探讨 汪学明 贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会 中国会议 2005-10

6 从制约逻辑到法律推理的思考 黄国芳; 汪学明 贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会 中国会议 2005-10

7 制约逻辑与BAN逻辑结合的研究 党继胜; 汪学明 贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会 中国会议 2005-10

指导的硕士学位论文:

按照序号 硕士学位论文题目 指导教师 硕士研究生 攻读学位排序

[1] 基于SVO逻辑的电子商务协议形式化分析与研究 汪学明 教授 党继胜 2007届计算机应用 工学硕士

[2] 基于椭圆曲线密码体制的门限签密研究 汪学明 教授 黄国芳 2007届计算机应用工学硕士

[3] 基于JAIN API的智能网关键技术研究与实现 汪学明教授 王万成 2008届通信与信息系统 工学硕士

[4] 基于归结原理的自动推理及其应用研究 汪学明教授 付朝辉 2007届逻辑学 哲学硕士

[5] 基于GPRS的无线POS在金融服务行业的应用 汪学明教授 吴坤杰 2007届软件工程 工程硕士

[6] 基于MPLS-VPN的网络研究和应用 汪学明教授 张晓刚 2007届软件工程 工程硕士

[7] 基于数据仓库技术的贵州联通网络质量运行分析应用 汪学明教授 刘 颖 2007届软件工程 工程硕士

[8] 基于AS层面的计算机病毒传播及其对网络拓扑结构的影响 汪学明教授 何 毅 2007届软件工程 工程硕士

[9] 贵州师范大学资源计划研究与设计 汪学明教授 孙 萍 2007届软件工程(电子政务方向) 工程硕士

[10] 贵州师范大学学生管理信息系统的分析与设计 汪学明教授 宇 燕 2007届软件工程(电子政务方向) 工程硕士

[11] 仪器设备招标采购系统的分析与设计 汪学明教授 张祥云 2007届软件工程(电子政务方向) 工程硕士

[12] 基于Web的网络考试系统的分析与设计 汪学明教授 刘 婕 2007届软件工程(电子政务方向) 工程硕士

[13] 基于神经网络的入侵检测系统研究与实现 汪学明教授 黄伟峰 2008届软件工程 工程硕士

[14] 基于Struts、Hibernate设计和实现电子商务硬信用平台 汪学明教授 杜跃忠 2008届软件工程 工程硕士

[15] 基于MPLS的VPN技术在校园网中的应用与研究 汪学明教授 谭洪泉 2008届软件工程 工程硕士

[16] 基于ECC代理数字签名技术研究与设计 汪学明教授 赵本喜 2008届软件工程 工程硕士

汪学明教授指导的部分硕士学位论文(CNKI检索)

序号 中文题名 作者姓名 网络出版投稿人 网络出版投稿时间 学位年度 论文级别

1 基于WAP的移动商务安全问题研究 蒋洁 贵州大学 2010-05-10 2009 硕士

2 基于SVO逻辑的多方不可否认协议的形式化分析与研究 王远敏 贵州大学 2010-05-10 2009 硕士

3 基于MPLS VPN的贵阳地理信息系统业务隔离技术研究及应用 林丽建 贵州大学 2010-05-10 2009 硕士

4 基于Mobile-Agent的分布式入侵检测系统研究与实现 周照峰 贵州大学 2010-05-10 2009 硕士

5 形式化方法的理论及其影响 王祥兵 贵州大学 2010-05-10 2009 硕士

6 基于MPLS的VPN系统在高校校园网中的应用研究 罗毅 贵州大学 2010-05-10 2009 硕士

7 某市电子政务系统的信息安全解决方案研究与设计 屠志青 贵州大学 2010-05-10 2009 硕士

8 基于PKI的CA认证安全电子邮件系统的设计与实现 张瑞 贵州大学 2010-05-10 2009 硕士

9 播控上载报警系统设计与实现 吴量 贵州大学 2010-05-10 2008 硕士

10 基于MPLS的VPN技术在校园网中的应用与研究 谭洪泉 贵州大学 2008-12-17 2008 硕士

11 基于JAIN API的智能网关键技术研究与实现 王万成 贵州大学 2008-12-17 2008 硕士

12 基于神经网络的入侵检测系统研究与实现 黄伟峰 贵州大学 2008-12-17 2008 硕士

13 基于ECC代理数字签名技术研究与设计 赵本喜 贵州大学 2008-12-17 2008 硕士

14 基于Struts、Hibernate设计和实现电子商务硬信用平台 杜跃忠 贵州大学 2008-12-17 2008 硕士

15 基于AS层面的计算机病毒传播及其对网络拓扑结构的影响 何毅 贵州大学 2007-08-29 2007 硕士

16 基于GPRS的无线POS在金融服务行业的应用 吴坤杰 贵州大学 2007-08-29 2007 硕士

17 基于数据仓库技术的贵州联通网络质量运行分析应用 刘颖 贵州大学 2007-08-29 2007 硕士

18 基于MPLS-VPN的网络研究和应用 张晓刚 贵州大学 2007-08-29 2007 硕士

19 基于SVO逻辑的电子商务协议形式化分析与研究 党继胜 贵州大学 2007-08-29 2007 硕士

20 基于椭圆曲线密码体制的门限签密研究 黄国芳 贵州大学 2007-08-29 2007 硕士

汪学明教授指导的部分硕士学位论文(万方检索)

1 贵州省测绘质检站办公系统的分析与设计

[学位论文] 张慧江, 2008 - 云南大学:软件工程

本文通过所学软件工程知识和ASP、Access技术,选用分布式资源型平台InternetInformationServer作为软件集成平台,解决贵州省测绘质检站无办公系统软件问题。通过对办公系统软件的开发分析与设计,完成了工作计划管理、质检工...

关键词:测绘学 办公自动化系统 应用软件 计算机应用

2 贵州省测绘资质管理系统分析与设计

[学位论文] 叶剑军, 2008 - 云南大学:软件工程

近几年来,我省经济持续快速发展,测绘行业也同步发展,测绘资质单位由十年前的六十多家发展到现在的三百多家,从业人员发展到五千多人,而且近几年来每年均以10%以上的速度增长。采用传统的人工管理方式,效率低下,不能对数...

关键词:软件工程 数据库 测绘资质管理系统

3 基于ECC代理数字签名技术研究与设计

[学位论文] 赵本喜, 2008 - 贵州大学:计算机软件与理论

代理签名体制在电子商务中的应用很广泛,目前的代理签名体制安全性主要是基于求解大数因子分解问题的困难性或求解离散对数问题的困难性。 随着大整数分解和并行处理技术的进展,公钥密码体制使用的密钥长度随着增长,...

关键词:数字签名 电子商务 代理签名体制

4 贵州人民武装学院学生综合管理信息系统的分析与设计

[学位论文] 沈雪梅, 2008 - 云南大学:软件工程

学生管理是教育管理中一个重要领域,学生管理水平的高低对教育管理的影响越来越大。特别是随着教育事业的蓬勃发展,学校的规模不断扩大,学生数量急剧增加,有关学生的各种信息也成倍增长。因此,学生管理信息化水平的高低制...

关键词:学生管理 高等院校 管理信息系统 教育管理

5 基于公用无线通信网络的反窃电抄表系统分析与设计

[学位论文] 夏增强, 2008 - 云南大学:软件工程

信息化时代的到来,使得以IT技术为主要特征的智能化建筑成为现代城市的一大特色。其中电能的计量、自动抄收以及收费管理是智能建筑、楼宇自动化的重要组成部分,如何实现电能准确计量、自动抄收是提升供电企业先进管理模式的...

关键词:无线通信网络 自动抄表系统 数据传输 信息管理

6 GSM网络优化决策系统的设计与实现

[学位论文] 徐鹏泽, 2008 - 云南大学:软件工程

移动通信网络是一个动态的网络,由于话务密度分布不均匀、频率资源紧张、网络配置未达最佳并且不断变化,使得现有网络的服务质量不尽如人意。巨额的投资并没有得到最理想的收益,运营商必须对网络进行调整以便优化资源配置,...

关键词:移动通信网络 优化决策系统 网络配置 服务质量 运营商

7 基于Internet的远程多媒体教学课件系统分析与设计

[学位论文] 杜娟, 2008 - 云南大学:软件工程

计算机辅助教学是现代教育的一种重要手段。远程多媒体教学与传统教学相比有诸多优势,多媒体课件应用于课堂教学是教育现代化的重要体现。将多媒体技术和网络通信技术相结合可促进CAI课件的发展,基于Internet的多媒体课件...

关键词:多媒体教学 课件系统 网络教学

8 贵阳中医学院实验设备管理信息系统分析与设计

[学位论文] 曾宪灵, 2008 - 云南大学:软件工程

贵阳中医学院目前实验设备运行管理,基本上是各个院、系(部)独立操作,缺乏管理规范性,其功能的实现程度也参差不齐。为了提高设备利用率,减轻管理者劳动强度,提高实验设备信息处理速度和准确性,为教学和科研提供更优质的服...

关键词:实验设备 教学管理 数据库设计 功能设计

9 学院图书资料管理系统的分析与设计

[学位论文] 罗宏炜, 2008 - 云南大学:软件工程

本文首先简要介绍了学院图书资料管理系统的丌发和研究背景,接着讲述资料管理系统的基础知识,详细介绍了该类图书资料管理系统的创建过程,包括系统功能分析,层次结构分析,系统模块划分,各个窗体的设计,以及实现系统部分...

关键词:图书资料 管理系统 ASP编程 电子图书平台

10 银税联网数据交换系统的需求分析与设计

[学位论文] 吴兴平, 2008 - 云南大学:软件工程

经过改革开放三十年来的不断努力,我国的经济正处于高速发展的良好时机,在扩大出口同时拉动内需的经济思路的指引下,国家经济体中私营经济所占的比重不断上升,加上国家对下岗职工再就业及西部大丌发优惠政策的出台,使得...

关键词:银税联网 数据交换系统 业务需求 税收服务质量

11 基于JAIN API的智能网关键技术研究与实现

[学位论文] 王万成, 2008 - 贵州大学:通信与信息系统

随着现代通信技术的飞速发展,以IP技术为代表的新技术革命正深刻地改变着传统电信的概念和体系,异构网络间的多网融合已是大势所趋。传统的智能网技术是一个封闭的系统,不能适应下一代网络业务驱动、多网融合、开放灵活的发...

关键词:JAIN API 智能网 异构网络 多网融合 事务处理模型 JAIN呼叫控制

12 基于Struts、Hibernate设计和实现电子商务硬信用平台

[学位论文] 杜跃忠, 2008 - 贵州大学:计算机软件与理论

随着互联网技术的广泛应用,电子商务得到了迅速的发展。电子商务的发展先后经历了EDI技术和RN模式两个阶段。第二阶段的RN标准比起EDI是很大一个进步。它依托一些大客户品牌和信誉,进行大量产品的信息发布和新品促销,为供应...

关键词:电子商务 供应链 交易信用 业务组织

13 基于神经网络的入侵检测系统研究与实现

[学位论文] 黄伟峰, 2008 - 贵州大学:计算机软件与理论

随着网络的发展,越米越多的部门和个人开始以网络作为工作或生活的一部分,网络安全问题也越来越显的重要,并逐渐成为当今研究的热点之一,传统的网络安全技术以防护为主,依赖于防火墙做为安全防护的措施,而面对网络规模的...

关键词:神经网络 入侵检测 网络安全 检测引擎 检测流程

14 基于MPLS的VPN技术在校园网中的应用与研究

[学位论文] 谭洪泉, 2008 - 贵州大学:计算机软件与理论

随着该校校园网络的建设发展,网络在全校师生的工作、学习和生活中变得越来越重要,人们希望能够获得不间断的高质量的安全可靠的网络服务。校园网络的任务也不再是仅仅为校园用户提供简单的上网需求,而是实现校园全方位的...

关键词:校园网 网络服务 网络规划 网络管理

15 基于WebGIS技术的贵阳配电网地理信息系统研究

[学位论文] 刘健, 2008 - 云南大学:软件工程

自从60年代世界上第一个GIS诞生以来,它作为集计算机科学、地理学、测绘遥感学、环境科学、城市科学、空间科学、信息科学和管理科学为一体的新兴边缘学科而迅速地兴起和发展起来。它的应用渗透于社会的各个领域,已从传统的自然...

关键词:配电网 地理信息系统 配电网管理 网络信息化 资源分配

16 贵州师范大学学生管理信息系统的分析与设计

[学位论文] 宇燕, 2007 - 云南大学:软件工程

建立适应新时期学生管理工作的综合学生信息管理系统,可帮助学生管理工作者及时、准确掌握学生信息,提高学校的工作效率,对于高校的管理工作现代化具有重要意义。 本文从当前高等院校学生工作实际需求出发,结合贵州师...

关键词:学生管理信息系统 UML语言 师范大学

17 基于Web的网络考试系统的分析与设计

[学位论文] 刘婕, 2007 - 云南大学:软件工程

随着Internet/Intranet的迅速发展和广泛普及,建立在其上的远程教育成为现代教育技术未来发展方向之一,考试测试作为远程教育的一个子系统也成为一个重要的研究领域。本文分析了传统考试方法的种种不足与不便之处,指出传...

关键词:远程教育 网络考试 网络服务 多媒体技术

18 仪器设备招标采购系统的分析与设计

[学位论文] 张祥云, 2007 - 云南大学:软件工程

结合本人从事的日元贷款项目设备招标采购工作实际,详细介绍了国际招标采购的过程、规则和要求,重点介绍国际招标业务的项目立项、招标文件编制、投标和开标、评标、合同管理、财务管理等主要工作。有针对性地提出了日元贷款项...

关键词:计算机辅助 设备招标采购系统 系统设计 招标采购数据库 业务流程

19 贵州师范大学资源计划研究与设计

[学位论文] 孙萍, 2007 - 云南大学:软件工程

大学的资源包括硬件资源和软件资源、内部资源与外部资源等。大学资源计划(URP)是大学信息系统的总集成,它利用统一的平台和接口规范,将大学的各种信息系统集成起来,实现信息的共享与交换,为用户提供统一的访问界面,并为后...

关键词:UML语言 系统集成 信息集成 大学资源计划 师范大学

20 基于SVO逻辑的电子商务协议形式化分析与研究

[学位论文] 党继胜, 2007 - 贵州大学:计算机应用技术

电子商务协议形式化分析是电子商务研究的一个重要方面,电子商务协议是面向电子商务的密码协议,安全的电子商务协议是保证电子商务活动正常开展的基础。进行电子商务协议的形式化分析研究具有重大理论意义和现实的应用价...

关键词:电子商务协议 安全协议 形式化分析 SVO逻辑 公钥密码机制 模型检测

21 基于椭圆曲线密码体制的门限签密研究

[学位论文] 黄国芳, 2007 - 贵州大学:计算机应用技术

论文介绍了密码技术在信息安全中的研究背景、国内外研究的现状、意义,以及在信息安全领域的应用和未来发展方向。本文分析了椭圆曲线公钥密码体制、对称密码体制、门限秘密共享和基于椭圆曲线密码体制的门限数字签名方案,研...

关键词:椭圆曲线密码体制 门限签密 解签密算法 门限密码学 信息安全

22 基于数据仓库技术的贵州联通网络质量运行分析应用

[学位论文] 刘颖, 2007 - 贵州大学:软件工程

在电信市场经营竞争异常激烈、各大运营商争相拓展新的综合业务服务抢占市场的今天,移动通信行业许多自动化运营管理系统获得了广泛应用,累积了大量的各类网络和系统运行数据。这些历史累积的海量数据中隐含着非常有价值有...

关键词:移动通信企业 网络管理 数据仓库 OLAP 电信经营

23 基于AS层面的计算机病毒传播及其对网络拓扑结构的影响

[学位论文] 何毅, 2007 - 贵州大学:软件工程

电子邮件已经逐渐成为人们最重要的通讯手段之一。通信的双方把对方存入自己的地址簿而形成的网络便构成了一个在线社会关系网络。研究这种网络的形成有利于认识人类社会关系网络的形成,研究这类网络上的流行病也有利于弄...

关键词:计算机病毒 复杂网络 小世界特性 无标度特性 网络拓扑 电子邮件 网络演化

24 基于GPRS的无线POS在金融服务行业的应用

[学位论文] 吴坤杰, 2007 - 贵州大学:软件工程

随着信息技术对银行业的渗透和促进,银行卡业务近年来得到了迅猛发展,银行卡发卡量、交易量大幅激增。银行卡消费的整体水平目前仍处于发展的初级阶段,制约银行卡业务发展的主要因素之一就是刷卡消费的硬件设备的布放数量...

关键词:无线POS 网关机 安全策略 防火墙 刷卡消费 移动通信系统

25 基于MPLS-VPN的网络研究和应用

[学位论文] 张晓刚, 2007 - 贵州大学:软件工程

当今的互联网应用需求日益增多,对带宽、对时延的要求也越来越高。如何提高转发效率,各个路由器生产厂家做了大量的改进工作,如CiSCO在路由器上提供CEF(CiSCO Express Forwarding)功能、修改路由表搜索算法等等。但这些修补...

关键词:转发效率 路由器 搜索算法 数据转发 路由协议 流量整形

2009级至2014级指导的硕士学位论文题目(New)

2009级(3人)

计算机软件与理论(密码学及其应用):

周 璇(1人 已获得 贵州大学 工学硕士学位)

移动微支付协议的形式化分析与改进研究

通信与信息系统(网络与信息安全):

张 怡 (1人 已获得 贵州大学 工学硕士学位)

Ad hoc网络按需式路由协议及其安全性研究

杨吟君(1人 已获得 贵州大学 工学硕士学位)

移动Ad Hoc网络多径路由技术的研究与优化

2010级 (3人)

计算机软件与理论系统(密码学及其应用):

冯 君 (1人 已获得 贵州大学 工学硕士学位)

超椭圆曲线密码体制及其在物联网中的应用研究

(荣获国家奖学金和校优秀硕士学位论文 考取武汉大学博士)

通信与信息系统(通信网与下一代网络):

汤 玉 (1人 已获得 贵州大学 工学硕士学位)

无线传感器网络分层路由协议的改进与仿真

逻辑学(逻辑学及其应用):

彭 月(1人 已获得 贵州大学 工学硕士学位)

SDRT理论及其应用研究

2011级 (3人)

计算机软件与理论(密码学及其应用):

陆卫新 (1人 已获得 贵州大学 工学硕士学位)

基于HECC上双线性对的密码系统及其应用研究

通信与信息系统(无线与移动通信):

沈亮光 (1人 已获得 贵州大学 工学硕士学位)

移动Ad Hoc网络混合式路由协议的研究与优化

( 荣获国家奖学金和贵州省优秀毕业生称号)

电子与通信工程(无线与移动通信):

郑继红 (1人 已获得 贵州大学 工程硕士学位)

基于ZigBee技术的无线低功耗温控网络的设计与实现

(考取北京理工大学攻读博士)

2012级(2人)

电子与通信工程(密码学及其应用):

冯 阳(1人 已获得 贵州大学 工程硕士学位)

基于超椭圆曲线密码体制群签密系统的研究

(澳大利亚 攻读博士)

电子与通信工程(无线与移动通信):

常福星(1人 已获得 贵州大学 工程硕士学位)

移动Ad Hoc网络多目标路由协议的研究与优化

(武汉理工大学 攻读博士)

2013级(3人)

计算机软件与理论(密码学及其应用):1 人

张言顺(已经通过学位论文中期检查,准备参加答辩.)

基于HECC的动态门限数字签名及其应用的研究

通信与信息系统(通信网络与信息安全): 2人

何光蓉(已经通过学位论文开题答辩,准备参加答辩)

超椭圆曲线密码体制及其在移动Ad hoc网络的应用研究

仇各各(已经通过学位论文开题答辩,准备参加答辩)

超椭圆曲线密码体制及其在无线传感器网络中的应用研究

2014级( 2人)

通信与信息系统(网络与信息安全):1人

徐 伟 (已经通过学位论文开题答辩,全面开展硕士学位论文研究工作)

超椭圆曲线密码体制及其在NFC中的应用研究

信息安全(网络与信息安全): 1人

卢 宇 (已经通过学位论文开题答辩,全面开展硕士学位论文研究工作)

双线性对在超椭圆曲线密码体制中的计算与应用

 

荣誉奖励:


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

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

媒体报道:


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

人物简介:

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

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

文章录入:zgkjcx    责任编辑:zgkjcx 
  • 上一篇文章:

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

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

    备案序号:京ICP备06031925号

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