作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

基于博弈的电子商务协议分析  CNKI文献

提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性...

文静华 张梅... 《通信学报》 2006年03期 期刊

关键词: 电子商务协议 / 安全性 / 公平性 / ATL

下载(305)| 被引(17)

基于ATL的公平电子商务协议形式化分析  CNKI文献

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形...

文静华 李祥... 《电子与信息学报》 2007年04期 期刊

关键词: 电子商务协议 / 公平性 / 安全性 / 形式化分析

下载(195)| 被引(19)

基于Excel的企业通用动态报表生成工具的设计  CNKI文献

报表功能几乎是所有数据库应用系统最基本、最重要的需求。如何在企业不同的数据库管理系统基础上设计通用动态报表生成工具,以便方便地挂接到任何数据库系统中是软件开发人员和企业决策者共同关心的问题。笔者根据企...

文静华 张梅... 《计算机工程》 2005年04期 期刊

关键词: SQL语句生成 / 一级报表模板 / 二级报表模板 / 报表管理

下载(293)| 被引(28)

基于SMV的网络协议形式化分析与验证  CNKI文献

提出了采用模型检验方法对网络协议进行形式化分析及自动验证,建立了一个特定网络协议PAR的有限状态机模型,并用模型检验工具SMV验证其正确性,发现了该协议存在的一些缺陷。结果表明,利用符号模型检验方法分析检验网络...

文静华 余滨... 《计算机工程》 2006年15期 期刊

关键词: 网络协议 / 协议分析 / 符号模型检验

下载(278)| 被引(11)

电子商务协议形式化方法及模型检测技术的研究与应用  CNKI文献

电子商务协议形式化分析是电子商务研究的一个重要方面,电子商务协议是面向电子商务的密码协议,安全的电子商务协议是保证电子商务活动正常开展的基础,其基本属性包括安全性、保密性、完整性、可认证性、非否认性及...

文静华 导师:李祥 贵州大学 2006-03-01 博士论文

关键词: 电子商务协议 / 形式化分析 / 逻辑方法 / 模型检测

下载(690)| 被引(2)

构建基于网格技术的农业信息共享平台  CNKI文献

阐述了网格技术的概念及特点、网格计算,提出构建基于服务网格的农业信息化服务共享平台,以贵州省为例给出了实现涉农网络信息资源全面共享的实施方案。

文静华 陈建中 《安徽农业科学》 2010年03期 期刊

关键词: 农业信息化 / 网格 / 共享

下载(220)| 被引(5)

一个新的公平非否认协议  CNKI文献

在安全数据传输协议中,发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1协议缺陷的基础上,提出了一种新的公平非否认电子邮件协议。经过使用改进的...

文静华 田建强... 《计算机工程》 2006年02期 期刊

关键词: 通信协议 / 非否认性 / 公平性 / Kailar逻辑

下载(140)| 被引(9)

基于Java3D的工业机器人建模与远程控制  CNKI文献

美国SUN公司推出的Java3D使Java具备了开发三维视觉的小应用程序和应用程序的功能,这些程序具有与客户通过网络交互的能力,使得Java在视觉、互动性上产生了一次飞跃。本文提出用Maya,3Dmax,AutoCad等熟知的工具可视化...

文静华 李祥 《计算机系统应用》 2004年10期 期刊

关键词: Java3D / 工业机器人 / 远程控制

下载(183)| 被引(7)

基于Petri网的电子政务动态流程建模  CNKI文献

Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂离散系统建摸 电子政务系统往往涉及行政部门多、业务流程复杂,一件业务通常有时限要求且涉及到的相关部门具有动态并发性 一些业务的流向具有并发和动态特...

文静华 张梅... 《重庆工学院学报》 2005年03期 期刊

关键词: 动态Petri网 / 电子政务 / 动态流程 / 系统建摸

下载(179)| 被引(5)

基于有限状态机的CTI呼叫处理系统  CNKI文献

引入有限状态机进行呼叫处理流程设计 ,通过市长公开电话系统的开发 ,提供一种比较便捷通用的板卡方式CTI呼叫处理系统开发模式。

文静华 李祥 《计算机应用》 2004年S1期 期刊

关键词: 有限状态机 / CTI / 语音板卡

下载(89)| 被引(17)

一个新的认证协议及其形式化分析  CNKI文献

认证协议是网络安全体系中最基本和最关键的问题。在传统认证协议的基础上,提出了一个新的认证协议。经过用BAN逻辑对这个协议进行了形式化分析,找出了可能的攻击方法并作出了相应修改。讨论了BAN逻辑用于认证协议形式...

文静华 张梅... 《计算机工程》 2006年08期 期刊

关键词: 认证协议 / 形式分析 / BAN逻辑

下载(173)| 被引(5)

电子支付协议的博弈逻辑模型与形式化分析  CNKI文献

提出用一种新的基于博弈逻辑ATL(Alternating-time Temporal Logic)的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点,可以成功地对电子商务中的对抗与合作行为进行描述。利...

文静华 张梅... 《微电子学与计算机》 2007年09期 期刊

关键词: 电子支付协议 / 公平性 / 形式化分析 / ATL

下载(177)| 被引(2)

ISI协议的符号模型检验分析  CNKI文献

电子商务协议的非否认性与公平性问题已成为电子商务和信息安全领域研究的热点。本文建立了网络支付协议ISI的有限状态机模型,并用SMV检验工具对其两个重要特性———非否认性与公平性进行了分析检验,发现了ISI协议不...

文静华 张梅... 《电讯技术》 2005年06期 期刊

关键词: 电子商务协议 / 公平性 / 符号模型检测 / 信息安全

下载(97)| 被引(3)

基于对象Petri网的信息系统建模技术  CNKI文献

针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建...

文静华 张梅... 《计算机工程与应用》 2004年25期 期刊

关键词: 信息系统 / Petri网 / 建模

下载(177)| 被引(3)

基于NuSoap组件的PDM与ERP系统集成应用  CNKI文献

针对企业PDM与ERP系统间数据难以交互、难以共享等问题,采用了开源项目NuSoap组件作为Web Service的核心组件,建立了PDM与ERP系统集成Web服务框架,解决了企业异构系统间信息集成问题,提高了企业的市场竞争力.

文静华 张振勇 《微电子学与计算机》 2011年08期 期刊

关键词: NuSoap / 异构系统 / 数据交换 / Web

下载(53)| 被引(2)

基于Kerberos的分布式校园网络安全模型  CNKI文献

针对Kerberos协议中由用户键入的通行字导出共享密钥的特点 ,分析指出该协议潜在存在遭受通行字猜测攻击的威胁 ,通过采用Diffie Hellman密钥交换的方法提出了一个改进的认证协议 ,在此基础上提出了一个分布式校园网络...

文静华 龙士工... 《重庆工学院学报》 2004年03期 期刊

关键词: Kerberos协议 / 通行字攻击 / 分布式校园网 / 协议安全

下载(93)| 被引(4)

基于IC卡技术的学生公寓一卡通系统设计  CNKI文献

基于 IC卡技术的学生公寓管理系统可以实现公寓管理信息化 ,以后扩展到真正的一卡多用。采用先进的 .NET平台作为前台开发工具 ,根据我院实际需求开发了一套高效可靠的学生公寓管理系统 ,既领先于当前时代 ,又能够前瞻...

文静华 李祥 《电脑开发与应用》 2004年04期 期刊

关键词: IC卡 / 公寓管理 / 管理信息化

下载(122)| 被引(3)

虚拟专网VPN技术机制研究与分析  CNKI文献

研究分析了虚拟专网VPN技术的实现机制 ,对网络层VPN和链路层VPN进行仔细的分析比较 ,同时对采用隧道机制建立VPN给出详细描述

文静华 《中国有线电视》 2004年16期 期刊

关键词: 虚拟专网 / 网络层 / 链路层 / 隧道机制

下载(55)| 被引(3)

Symbolic Model Checking and Analysis for E-Commerce Pr...  CNKI文献

A new approach is proposed for analyzing non-repudiation and fairness of e-commerce protocols. The authentication e-mail protocol CMP1 is modeled as finite state machine and analyzed in two vital asp...

文静华 张梅... 《Journal of Electronic Science and Technology of China》 2005年03期 期刊

关键词: e-commerce / protocols / fairness / symbolic

下载(48)| 被引(2)

一种新的密码协议分析方法及其应用  CNKI文献

针对传统时序逻辑把协议看成封闭系统进行分析的缺点,提出一种新的基于策略的ATL(AlternatingtimeTemporalLogic)逻辑方法分析密码协议。最后用新方法对NeedhamSchroeder协议进行了严格的形式化分析,结果验证了该协议...

文静华 张梅... 《计算机应用》 2006年05期 期刊

关键词: 密码协议 / 安全性 / 形式化分析 / ATL

下载(119)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

时间的形状