名师简介
文静华，男，土家族，1975年4月出生，贵州沿河人，1996年8月参加工作，2004年5月加入中国共产党，博士研究生，教授，贵州财经学院信息学院副院长（主持工作），“计算机应用技术”重点学科带头人、硕士生导师、贵州省计算机学会理事、中国青联IT分会委员。 1992.9-1996.7在北方交通大学物理系应用物理专业学习，获理学学士学位；1996.7-1999.9在贵阳钢厂无缝钢管分厂工作，担任助理工程师；1999.9起 在贵州财经学院经济信息系、信息学院工作（其间，1999.9-2002.7在贵州大学计算机软件与理论专业学习，获工学硕士学位；2003.9-2006.7在贵州大学计算机软件与理论专业学习，获工学博士学位；2006.8-2006.9在中共贵州省委组织部青年博士班学习）。历任助教（1999.9-2002.9）、讲师（2002.9-2006.9）、副教授（2006.9-2007.12）、教授（2007.12-），2002.5-2007.5担任商用通讯研究室主任，2007.5起担任信息学院副院长（2008.5起主持工作）；2008.3起挂职担任沿河县委常委、县政府副县长。 近年来主持了贵州省科学技术基金《电子商务协议形式化验证理论与方法研究》、贵州省省长基金《多方公平电子商务协议形式化分析研究》、贵州省教育厅自然科学基金《密码协议建模与形式化分析》及贵阳市科技发展基金项目《基于软交换技术的呼叫中心平台软件研究与实现》等近10项科研项目。参加1项国家社科基金《喀斯特区域农业信息服务与生态环境保护及农业经济发展模式研究》、1项国家自然科学基金《随机游动与网络安全》，近年来在《通信学报》、《电子与信息学报》等国家级核心期刊和重要学术会议上发表论文20余篇，其中SCI、EI、ISTP收录6篇，2007年破格晋升计算机专业教授职称。 研究方向：信息安全、密码协议分析、电子商务安全。 代表论文（第1作者或独立）： 1.文静华,李祥.基于博弈的电子商务协议分析，通信学报.2006.3,Vol.27，No.3：73-78. （EI收录） 2.文静华,李祥.基于ATL的公平电子商务协议形式化分析，电子与信息学报Vol.29, No.4：61-67. （EI收录） 3.Jinghua Wen, Mei Zhang,Xiang Li. Analysis and verification of Fairness in E-Commerce, 2005 IEEE International Conference on Service Operations and Logistics, and Informatics(SOLI), R134, August 10-12, 2005:919-923, Beijing, China.（ISTP收录）. 4. Jinghua Wen, Mei Zhang,Xiang Li. The Study on the Application of BAN Logic in Formal Analysis of Authentication Protocols, The Seventh International Conference on Electronic Commerce (ICEC2005), August 15-17, 2005:744-748, Xi’an, China.（ISTP收录）. 5.Jinghua Wen, Min Liang,Xiang Li. Improvement of A Fair Non-repudiation Protocol, the 5th International Conference of e-Engineering & Digital Enterprise Technology（e- ENGDET2006）, August 16-18, 2006:713-718, Guiyang, China.（ISTP收录） 6.文静华,李祥.一个新的公平非否认协议，计算机工程.2006.1,Vol.32，No.2：132-135.（EI收录）. 7.文静华,李祥.ISI协议的符号模型检验分析，电讯技术，2005.12，Vol.45，No.6：25-29. 8.文静华,李祥.一种新的公平可追究协议,中国第一届可信计算与信息安全学术会议CTCIS’2004, 武汉，武汉大学学报（理学版）,2004.10.Vol.50，No.S1：（CTCIS’2004专刊）. 9.Wen Jinghua, Zhang Mei, Li Xiang. Symbolic model checking and analysis for E-commerce, Journal of Electronic Science and Technology ( 电子科技大学学报英文版)2005.8，Vol. 3，No.3：213-217. 10.文静华,张梅,田建强.基于EXCEL的企业通用报表工具设计，计算机工程. 2005. 2，Vol. 31，No.4：221-223.（EI收录）.