Kailar逻辑推理中初始状态假设

摘要：

Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初始状态假设所存在的问题,给出了初始状态假设应遵循的两个原则.实例表明,遵循该原则能够发现初始状态假设存在的问题,从而修正不适当的假设、补充新的假设,避免其引入不当所导致的Kailar逻辑分析协议失败问题.

关键词： Kailar逻辑 电子商务协议 协议分析 初始状态假设

作者: 王可心 韩芳溪

作者单位: 山东大学计算机科学与技术学院(山东济南)

会议类型: 国内会议

会议名称: 2003年全国开放式分布与并行计算学术会议暨全国第十三届网络与数据通信学术会议

会议地点: 大连

会议语种:中文

页码: 193-196

在线出版日期: 2003-10-01（万方平台首次上网日期，不代表论文的发表时间）