贵州大学计算机科学与信息学院导师介绍:汪学明_-查字典考研网
 
请输入您要查询的关键词
  查字典考研网 >> 院校信息 >> 导师介绍 >> 贵州大学计算机科学与信息学院导师介绍:汪学明

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

考研时间: 2012-01-04 来源:查字典考研网

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

主讲课程

《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 收录 检索号: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.

[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。

点击显示
推荐文章
猜你喜欢
附近的人在看
推荐阅读
拓展阅读

当前热点关注

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •