文静华
【姓名】 文静华
【职称】 教授;
【研究领域】 计算机软件及计算机应用;互联网技术;电信技术;
【研究方向】 网络安全
【发表文献关键词】 认证协议,形式分析,BAN逻辑,形式化分析,安全性,密码协议,ATL,PayWord,微支付协议,协议分析,网络协议,符号模型检验,会话密钥,支付方式,分布式数据库技术,供电企业,电力客户服务系统,服...
【工作单位】 贵州财经学院
【曾工作单位】 贵州财经学院;贵州大学;
【所在地域】 贵阳
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/53 26 45 24 245 8262
中国期刊全文数据库    共找到48篇
[1]张振勇;文静华;李纳;.改进的P-Schema在异构数据集成中的应用[J]山东轻工业学院学报(自然科学版).2011,(02)
[2]文静华;张振勇;.基于NuSoap组件的PDM与ERP系统集成应用[J]微电子学与计算机.2011,(08)
[3]张定义;文静华;蒋合领;.遗传算法在精准农业地理信息系统中的应用[J]安徽农业科学.2012,(05)
[4]蒋合领;文静华;张梅;.基于MDA的农业电子商务平台研究与实现[J]农机化研究.2012,(07)
[5]张梅;文静华;张祖勋;张剑清;.基于形态学水线区域的深度图像分割[J]光学技术.2009,(03)
[6]张梅;文静华;张焕国;.基于ATL的电子商务协议建模与形式化分析[J]微电子学与计算机.2009,(08)
[7]张振勇;文静华;.基于架构的关系数据库与云端数据库比较分析[J]电脑知识与技术.2009,(25)
[8]文静华;陈建中;.构建基于网格技术的农业信息共享平台[J]安徽农业科学.2010,(03)
[9]张梅;文静华;张祖勋;张剑清;.基于表面间三棱锥体积测度的点云配准[J]中国机械工程.2010,(02)
[10]聂敏;文静华;蒋合领;.基于软交换的农业信息服务呼叫中心系统[J]农机化研究.2010,(05)
更多
中国博士学位论文全文数据库    共找到1篇
中国重要会议全文数据库    共找到4篇
[1]文静华;张梅;张焕国;.电子支付协议的博弈逻辑模型与形式化分析[A].2007年全国开放式分布与并行计算机学术会议论文集(上册).2007-10-12
[2]张梅;文静华;张焕国;.基于ATL的电子商务协议建模与形式化分析[A].2009年全国开放式分布与并行计算机学术会议论文集(上册).2009-09-26
[3]张梅;文静华;.SARS传播控制时间序列建模与仿真[A].“中国视角的风险分析和危机反应”——中国灾害防御协会风险分析专业委员会第四届年会论文集.2010-08-16
[4]文静华;李祥;.安全开放系统的Petri网模型[A].2005年全国开放式分布与并行计算学术会议论文集.2005-06-30
更多