贵州大学计算机科学与信息学院导师介绍：汪学明

　　汪学明教授，硕士生导师，主持学院信息安全实验室的规划、申报、建设及管理工作。

　　 主讲课程
　　《Java程序设计》、《统一软件开发平台与中间件技术》、《高等计算机网络》、《计算机理论与实践》、《》、《》、《》

　　 研究方向
　　密码学与信息安全、通信网络与信息安全技术。

　　 科研项目
　　 [1] 主持 基于SVO逻辑形式化验证方法改进及其应用 黔科J字[2005]2110号 贵州省科技基金
　　 [2] 参加 基于椭圆曲线密码体制门限签密研究 黔科J字[2005]2107号 贵州省科技基金项目
　　 [3] 参加 流氓软件实时监测防范系统关键技术研究及应用实现2007 贵阳市科技攻关项目
　　 [4] 主持 新型公平多方交换协议设计及其形式化分析研究 贵大人基合字[2008]005号 贵州大学引进人才科研项目
　　 [5] 参加 分布式密码系统中的基础协议与公平性研究 国家自然基金[2009]60963023号 国家自然科学基金项目

　　 发表论文
　　 [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 收录 检索号：************）.
　　 [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收录 检索号：************ 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.
　　 [6] 杜跃忠,汪学明.基于MVC模式的在线书店的设计与实现.计算机科学, 2007,34(7)
　　 [7] 黄国芳,汪学明,.基于椭圆曲线门限签名机制的研究及安全性分析[J].计算机应用研究,2007,(s1).
　　 [8] 徐洋,汪学明.一个新的电子支付协议及其形式化分析[J]. 计算机应用与软件 , 2008,(09)
　　 [9] 徐洋,汪学明.基于Rubin逻辑的SSL协议安全性分析[J]. 微计算机信息 , 2008,(30)
　　 [10] 徐洋,汪学明.一个新的电子邮件协议的形式化分析[J].计算机应用研究,2008,25(s1).

　　 出版著作
　　 [1] 逻辑学及其应用研究 主编（18万字） 贵州民族出版社 2009.12。