论文部分内容阅读
以之前所提出基于模态逻辑的协议推导分析方法为基础，用Java专家系统外壳（JESS）实现了协议推导分析工具，对一个具体的不可否认协议进行分析，以验证逻辑推导图方法的作用．分析结果清晰地显示各协议内容对协议目标实现的作用，并以此为基础说明协议内容中的冗余．通过与传统协议分析方法进行比较，说明了这一方法可以更清晰地说明协议内容对协议目标的贡献作用．同时，也在分析过程中指出了SVO逻辑协议分析方法对假设的过度依赖性这一缺陷．