Formal Analysis Method of Security Protocol
Author(s): WANG Zuo, YUAN Chaowei
Pages: 82-83,86
Year: 2010 Issue: 7
Journal: Computer Engineering
Keyword: formal analysis; security protocol; BAN logic; NSSK protocol;
Abstract: 对快速、高效的形式化分析安全协议进行研究,提出"信任域"的概念.采用与图形化相结合的分析方法,使得协议流程的推导过程清晰、直观.该方法直接分析协议参与主体的信任域,简化分析过程和步骤.实验结果表明,与传统方法相比,该方法更快速、直观,并能为分析协议的冗余性提供具体方法和依据.
Pages: 82-83,86
Year: 2010 Issue: 7
Journal: Computer Engineering
Keyword: formal analysis; security protocol; BAN logic; NSSK protocol;
Abstract: 对快速、高效的形式化分析安全协议进行研究,提出"信任域"的概念.采用与图形化相结合的分析方法,使得协议流程的推导过程清晰、直观.该方法直接分析协议参与主体的信任域,简化分析过程和步骤.实验结果表明,与传统方法相比,该方法更快速、直观,并能为分析协议的冗余性提供具体方法和依据.
Related Articles