认证协议相关性分析

摘要：

本文提出认证协议的相关性问题,并引入关联因子的概念,从消息相关和协议相关两个层次上对相关性进行描述,同时将协议的运行看作是攻击者和协议环境交互的模型.我们用CSP的模型检查工具FDR2对该模型进行形式化描述,以著名的Needham-Schroeder 公钥协议为例分析其相关性,得出了理想的结果.

关键词：认证协议、相关性、关联因子、攻击模型、模型检查

所属期刊栏目：23

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

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

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

页数：共8页

页码：103-110