| 姓名: | 汪学明 |
| 学校: | 贵州大学 |
| 学院: | 电子科学与信息技术学院 |
| 职称: |
<div class> <p> <br/> 汪学明教授,硕士生导师,主持学院信息安全实验室的规划、申报、建设及管理工作。<br/> <br/> 主讲课程</strong><br/> 《Java程序设计》、《统一软件开发平台与中间件技术》、《高等计算机网络》、《计算机理论与实践》、《》、《》、《》<br/> <br/> 研究方向</strong><br/> 密码学与信息安全、通信网络与信息安全技术。<br/> <br/> 科研项目</strong><br/> [1] 主持 基于SVO逻辑形式化验证方法改进及其应用 黔科J字[2005]2110号 贵州省科技基金<br/> [2] 参加 基于椭圆曲线密码体制门限签密研究 黔科J字[2005]2107号 贵州省科技基金项目<br/> [3] 参加 流氓软件实时监测防范系统关键技术研究及应用实现2007 贵阳市科技攻关项目<br/> [4] 主持 新型公平多方交换协议设计及其形式化分析研究 贵大人基合字[2008]005号 贵州大学引进人才科研项目<br/> [5] 参加 分布式密码系统中的基础协议与公平性研究 国家自然基金[2009]60963023号 国家自然科学基金项目<br/> <br/> 发表论文</strong><br/> [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).<br/> [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).<br/> [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 同时收录).<br/> [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.<br/> [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.<br/> [6] 杜跃忠,汪学明.基于MVC模式的在线书店的设计与实现.计算机科学, 2007,34(7)<br/> [7] 黄国芳,汪学明,.基于椭圆曲线门限签名机制的研究及安全性分析[J].计算机应用研究,2007,(s1).<br/> [8] 徐洋,汪学明.一个新的电子支付协议及其形式化分析[J]. 计算机应用与软件 , 2008,(09)<br/> [9] 徐洋,汪学明.基于Rubin逻辑的SSL协议安全性分析[J]. 微计算机信息 , 2008,(30)<br/> [10] 徐洋,汪学明.一个新的电子邮件协议的形式化分析[J].计算机应用研究,2008,25(s1).<br/> <br/> 出版著作</strong><br/> [1] 逻辑学及其应用研究 主编(18万字) 贵州民族出版社 2009.12。<br/> </p> </div>