改进型Helsinki协议的串空间模型分析

摘要：

Helsinki协议是ISO/IEC DIS 11770-3 中提出的重要认证协议,由于协议受到来自内部的攻击,Mithcell-Yeun对其进行了改进.但改进后协议的安全性仍未得到确认,为了验证改进协议是否满足其安全目标,利用串空间模型对协议进行了建模和分析.通过分析极小元所在串与其它串的关系说明协议的一致性,通过对理想的分析说明协议的保密性.结果表明改进型协议满足其安全要求,原协议存在安全缺陷的原因是最小元可能存在M1串上,这为 Mithcell-Yeun的改进提供了理论的证明与依据.

关键词：安全协议、串空间、Helsinki协议、模型分析、安全性

所属期刊栏目：29

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

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

页数：共3页

页码：4923-4925