姓名：文静华  学历：博士生

地域：贵州省内博士  专业：工学

文静华，男，1975年4月出生，贵州沿河人,土家族，工学博士，贵州财经学院信息学院副教授，贵州省计算机学会理事。
研究领域：信息安全、密码协议分析。

教育经历：
1989.9-1992.7贵州省思南中学高中部；
1992.9-1996.7攻读北方交通大学应用物理专业并获理学学士学位；
1999.9-2002.7攻读贵州大学计算机软件与理论专业并获工学硕士学位；
2003.9-2006.7攻读贵州大学计算机软件与理论专业并获工学博士学位；
2006.9  进入武汉大学计算机学院从事博士后工作。
代表论文（第1作者或独立）：
1.文静华,李祥.基于博弈的电子商务协议分析，通信学报.2006.3,Vol.27，No.3：73-78.
2.文静华,李祥.基于ATL的公平电子商务协议形式化分析，电子与信息学报（已录用）.
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收录）.
11.文静华,李祥.一种新的密码协议分析方法及其应用，计算机应用.2006.5,Vol.26,No.5：221-223.
12.文静华,李祥.基于对象Petri网的信息系统建模技术,计算机工程与应用，2004.9, Vol.40，No.25：208-209.
13.文静华,李祥.基于Java3D的工业机器人建模与远程控制,计算机系统应用，2004.10, Vol.12，No.10：70-72.
14.文静华,李祥.安全系统的Petri网模型，计算机应用与软件，2005.10, Vol.22，No.10：1-2.

主持课题：
1. 《基于ATL的电子商务协议形式化验证理论与方法研究》（贵州省科学技术基金，[2005]2111）
2.《CTI呼叫平台系统软件研究》（贵州省教育厅自然科学基金，黔教科2002328）
3.《面向电子商务的密码协议建模及形式化分析》（贵州省教育厅自然科学基金，黔教科2004219）
4.《密码协议的形式化分析研究》（贵州财经学院博士基金，2004-10）
联系方式：
E-mail: jinghuawen@sohu.com；
联系地址：贵州省贵阳市鹿冲关路276号，贵州财经学院信息学院