貴州大學計算機科學與信息學院導師：汪學明 正文

　　汪學明教授，碩士生導師，主持學院信息安全實驗室的規(guī)劃、申報、建設及管理工作。

　　 主講課程
　　《Java程序設計》、《統(tǒng)一軟件開發(fā)平臺與中間件技術》、《高等計算機網(wǎng)絡》、《計算機理論與實踐》、《》、《》、《》

　　 研究方向
　　密碼學與信息安全、通信網(wǎng)絡與信息安全技術。

　　 科研項目
　　 [1] 主持 基于SVO邏輯形式化驗證方法改進及其應用 黔科J字[2005]2110號 貴州省科技基金
　　 [2] 參加 基于橢圓曲線密碼體制門限簽密研究 黔科J字[2005]2107號 貴州省科技基金項目
　　 [3] 參加 流氓軟件實時監(jiān)測防范系統(tǒng)關鍵技術研究及應用實現(xiàn)2007 貴陽市科技攻關項目
　　 [4] 主持 新型公平多方交換協(xié)議設計及其形式化分析研究 貴大人基合字[2008]005號 貴州大學引進人才科研項目
　　 [5] 參加 分布式密碼系統(tǒng)中的基礎協(xié)議與公平性研究 國家自然基金[2009]60963023號 國家自然科學基金項目

　　 發(fā)表論文
　　 [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模式的在線書店的設計與實現(xiàn).計算機科學, 2007,34(7)
　　 [7] 黃國芳,汪學明,.基于橢圓曲線門限簽名機制的研究及安全性分析[J].計算機應用研究,2007,(s1).
　　 [8] 徐洋,汪學明.一個新的電子支付協(xié)議及其形式化分析[J]. 計算機應用與軟件 , 2008,(09)
　　 [9] 徐洋,汪學明.基于Rubin邏輯的SSL協(xié)議安全性分析[J]. 微計算機信息 , 2008,(30)
　　 [10] 徐洋,汪學明.一個新的電子郵件協(xié)議的形式化分析[J].計算機應用研究,2008,25(s1).

　　 出版著作
　　 [1] 邏輯學及其應用研究 主編（18萬字） 貴州民族出版社 2009.12。
 

添加貴州大學學姐微信，或微信搜索公眾號“考研派小站”，關注[考研派小站]微信公眾號，在考研派小站微信號輸入[貴州大學考研分數(shù)線、貴州大學報錄比、貴州大學考研群、貴州大學學姐微信、貴州大學考研真題、貴州大學專業(yè)目錄、貴州大學排名、貴州大學保研、貴州大學公眾號、貴州大學研究生招生）]即可在手機上查看相對應貴州大學考研信息或資源。

貴州大學