文静华,男,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号,贵州财经学院信息学院
工作时间:法定工作日,9:00~18:00
Copyright@2005-2021 All Rights Reserved 550081
主 办:贵州在京博士联系点 贵州省人民政府上海办事处 贵州省博士协会
协会地址:贵州省贵阳市观山湖区德福中心A5栋12楼
京ICP备2021017892号-1
Powered by 京黔互连 ©2008-2025 jqlink.cn