聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 一种时间相关的分析安全协议的扩展逻辑
出处:计算机应用 2005年第10期 2272-2275,共4页
摘要:在对CS逻辑进行研究的基础上,提出了CS逻辑的扩展逻辑.该扩展逻辑对CS逻辑中存在的一些缺陷进行了修改和扩... 显示全部
关键词: 逻辑 认证协议 形式化分析
在线阅读 下载全文
期刊文章 网格体系的Petri网模拟与分析
出处:系统仿真学报 2005年第z1期 223-228,共6页
摘要:应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格... 显示全部
关键词: 网格 建模 形式化分析 正确性 验证
在线阅读 下载全文
期刊文章 应用逻辑推导图方法对一个不可否认协议的分析
出处:华南师范大学学报:自然科学版 2008年第1期 46-51,共6页
摘要:以之前所提出基于模态逻辑的协议推导分析方法为基础,用Java专家系统外壳(JESS)实现了协议推导分析工具... 显示全部
关键词: 安全协议 形式化分析 逻辑 自动推导
在线阅读 下载全文
期刊文章 基于串空间模型的电子商务协议的形式化分析
出处:计算机工程与应用 2006年第3期 123-126,145,共5页
摘要:采用形式化方法分析安全协议是协议分析的有效手段,近年来。出现了众多的研究方法。串空间模型是一种新兴... 显示全部
关键词: 串空间模型 认证测试 形式化分析 交换协议 电子商务协议
在线阅读 下载全文
期刊文章 自动信任协商安全性的形式化分析与验证
出处:华南理工大学学报:自然科学版 2013年第1期77-82,94共7页
摘要:为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用... 显示全部
关键词: 自动信任协商 安全性 形式化分析 演算 观察等价
在线阅读 下载全文
期刊文章 CORBA服务的形式化分析
出处:计算机科学 2002年第5期 117-119,103,共4页
摘要:1 引言 CORBA,公共对象请求代理体系结构(Common Object Request Broker Architecture,CORBA)是对象管理组... 显示全部
关键词: 形式化分析 对象管理组织 公共对象服务规范 网络应用程序 计算机网络
在线阅读 下载全文
找到6条结果
`