10.3969/j.issn.1008-0570.2005.36.023
基于串空间的KryptoKnight协议分析及与逻辑化方法的比较
网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议.本文通过串空间模型对KryptoKnight协议进行了分析,得出该协议是安全的.并对串空间模型和BAN逻辑方法进行了比较.
KryptoKnight串空间安全协议
TP309(计算技术、计算机技术)
河南省自然科学基金SP200304098
2006-03-09(万方平台首次上网日期,不代表论文的发表时间)
共4页
66-68,205