10.3969/j.issn.1000-1220.2006.05.005
Yahalom协议的串空间模型及分析
作为一种用来分析密码协议的最具代表性的定理证明技术,串行空间理论已被成功地用来分析许多典型的密码协议.其理论中的理想和诚实两个概念的提出更是大大简化了一类密码协议的证明步骤.首次利用串空间理论从机密性和鉴别两个方面对Gavin Lowe提出的Yahalom协议的改进版进行了分析.分析结果证明该协议是安全的.
密码协议、Yahalom协议、串空间
27
TP309(计算技术、计算机技术)
科技部科研项目G1999035803
2006-06-01(万方平台首次上网日期,不代表论文的发表时间)
共5页
788-792