基于串空间的认证协议分析

摘要：

网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.由于安全要求的多样化以及攻击方式的层出不穷,使得对网络安全协议的形式化分析效率和准确性提出了更高的要求.串空间理论(strand space theory)和模型是当前避免状态爆炸、提高协议形式化分析效率的有效方法.本文通过一个具体的认证协议例子来说明它的特点.

关键词：安全协议、认证协议、形式化分析、串空间模型

所属期刊栏目：3

分类号：TN393.04(半导体技术)

资助基金：国防重点实验室基金51436050203DZ0210

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

页数：共4页

页码：29-32