一种安全协议的形式化分析方法

摘要：

对快速、高效的形式化分析安全协议进行研究,提出"信任域"的概念.采用与图形化相结合的分析方法,使得协议流程的推导过程清晰、直观.该方法直接分析协议参与主体的信任域,简化分析过程和步骤.实验结果表明,与传统方法相比,该方法更快速、直观,并能为分析协议的冗余性提供具体方法和依据.

关键词：形式化分析、安全协议、BAN逻辑、NSSK协议

所属期刊栏目：36

分类号：TP309(计算技术、计算机技术)

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

页数：共3页

页码：82-83,86