论文研究 Yahalom Paulson协议的串空间模型与分析.pdf

zzhhrz 9 0 PDF 2020-08-14 23:08:29

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Yahalom-Paulson协议进行了分析。分析结果证明该协议是安全的。

用户评论
请输入评论内容
评分:
暂无评论