青云曲

汪学明教授，硕士生导师，主持学院信息安全实验室的规划、申报、建设及管理工作。主讲课程《Java程序设计》、《统一软件开发平台与中间件技术》、《高等计算机网络》、《计算机理论与实践》、《》、《》、《》研究方向密码学与信息安全、通信网络与信息安全技术。科研项目[1]主持基于SVO逻辑形式化验证方法改进及其应用黔科J字[2005]2110号贵州省科技基金[2]参加基于椭圆曲线密码体制门限签密研究黔科J字[2005]2107号贵州省科技基金项目[3]参加流氓软件实时监测防范系统关键技术研究及应用实现2007贵阳市科技攻关项目[4]主持新型公平多方交换协议设计及其形式化分析研究贵大人基合字[2008]005号贵州大学引进人才科研项目[5]参加分布式密码系统中的基础协议与公平性研究国家自然基金[2009]60963023号国家自然科学基金项目发表论文[1]XuemingWang,XiangLi.FormalAnalysisofMulti-partyNon-repudiationProtocols,the5thInternationalConferenceofe-Engineering&DigitalEnterpriseTechnology（e-ENGDET2006）,August16-18,2006:89-93,Guiyang,China.（ISTP收录检索号：000246418100020）.[2]XuemingWang,XiangLi.ModelingandAnalysisofMulti-partyFairExchangeProtocols,The3rdIEEEInternationalConferenceonWirelessCommunications,NetworkingandMobileComputing(WiCOM2007),September21-23,Shanghai,China.（EI收录检索号：080311027712）.[3]XuemingWang,XiangLi.Game-baseAnalysisofMulti-partyNon-repudiationProtocols,2007InternationalConferenceonComputationalIntelligenceandSecurity(CIS’2007),December15-19,Harbin,China.（SCI收录检索号：000253372500135EI收录检索号：083211440474ISTP收录检索号：BHI03，IPSEC和ACM同时收录）.[4]XuemingWang.FormalAnalysisandImprovementofMulti-partyNon-repudiationProtocol.The5thInternationalConferenceonWirelessCommunications,NetworkingandMobileComputing(WiCOM2009)(EI收录),September24-26,2009Beijing,China.[5]WangXueming,CuiNan.ResearchofSecurityMobilePaymentProtocolinCommunicationRestrictionsScenarios.2009InternationalConferenceonComputationalIntelligenceandSecurity(CIS2009)(EI收录)December11-14,2009Beijing,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。  更多