貴州大學(xué)計算機科學(xué)與信息學(xué)院導(dǎo)師：汪學(xué)明 正文

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

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

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

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

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

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

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

貴州大學(xué)