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

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

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

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

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

　　 發(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收錄 檢索號(hào)：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 收錄 檢索號(hào)：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收錄 檢索號(hào)：000253372500135 EI收錄 檢索號(hào)：083211440474 ISTP收錄 檢索號(hào)：BHI03，IPSEC和ACM 同時(shí)收錄）.
　　 [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ū)店的設(shè)計(jì)與實(shí)現(xiàn).計(jì)算機(jī)科學(xué), 2007,34(7)
　　 [7] 黃國(guó)芳,汪學(xué)明,.基于橢圓曲線門(mén)限簽名機(jī)制的研究及安全性分析[J].計(jì)算機(jī)應(yīng)用研究,2007,(s1).
　　 [8] 徐洋,汪學(xué)明.一個(gè)新的電子支付協(xié)議及其形式化分析[J]. 計(jì)算機(jī)應(yīng)用與軟件 , 2008,(09)
　　 [9] 徐洋,汪學(xué)明.基于Rubin邏輯的SSL協(xié)議安全性分析[J]. 微計(jì)算機(jī)信息 , 2008,(30)
　　 [10] 徐洋,汪學(xué)明.一個(gè)新的電子郵件協(xié)議的形式化分析[J].計(jì)算機(jī)應(yīng)用研究,2008,25(s1).

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

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

貴州大學(xué)