| 应用逻辑推导图方法对一个不可否认协议的分析 |
| |
| 引用本文： | 王涛, 刘永杰. 应用逻辑推导图方法对一个不可否认协议的分析[J]. 华南师范大学学报（自然科学版）, 2008, (1): 46. |
| |
| 作者姓名： | 王涛 刘永杰 |
| |
| 作者单位： | 1. 华南师范大学计算机学院,广东广州,510631
2. 广东南方电视台,广东广州,510600 |
| |
| 摘 要： | 以之前所提出基于模态逻辑的协议推导分析方法为基础, 用Java专家系统外壳(JESS)实现了协议推导分析工具, 对一个具体的不可否认协议进行分析,以验证逻辑推导图方法的作用.分析结果清晰地显示各协议内容对协议目标实现的作用, 并以此为基础说明协议内容中的冗余.通过与传统协议分析方法进行比较, 说明了这一方法可以更清晰地说明协议内容对协议目标的贡献作用.同时,也在分析过程中指出了SVO逻辑协议分析方法对假设的过度依赖性这一缺陷.
|
| 关 键 词： | 安全协议 形式化分析 SVO逻辑 自动推导 JESS |
| 文章编号： | 1000-5463（2008）01-0046-06 |
| 收稿时间： | 2007-04-17 |
| 修稿时间： | 2007-04-17 |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《华南师范大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《华南师范大学学报(自然科学版)》下载免费的PDF全文 |
|
