具有时限约束的安全协议分析技术研究

摘要：

本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架.通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足时限性要求的证明.

关键词：形式化方法、时限责任、安全协议

所属期刊栏目：32

分类号：TP3;TN9

资助基金：国家自然科学基金60243002

在线出版日期：2005-03-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：80-85