时间: 2014-04-10  李进

文静华

图片关键词

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

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


文静华,男,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号,贵州财经学院信息学院

标签: 工学 博士
联系我们:13439028853

工作时间:法定工作日,9:00~18:00

Copyright@2005-2021 All Rights Reserved 550081

贵州省贵阳市观山湖高新区德福中心A5栋12层

京ICP备2021017892号-1

Powered by 京黔互连 ©2008-2022  jqlink.cn