基于串空间模型的认证测试方法
张玲玲
谢圣献
贾仰理
1.聊城大学 计算机学院,山东 聊城,2520592.聊城大学 计算机学院,山东 聊城,2520593.聊城大学 计算机学院,山东 聊城,252059
摘要：串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类。利用串空间模型理论对Needham‐Schroeder（N‐S）公钥协议中中间人攻击问题进行形式化分析与设计，并对其进行证明。与原有技术相比，该方法更为形式化，协议分析人员可以很方便地进行手动分析，并且更有利于协议分析自动化工具的实现。
关键词：安全协议串空间模型N-S公钥协议
分类号：TP309(计算技术、计算机技术)
资助基金：山东省自然科学基金项目(ZR2011FL023)
论文发表日期：2015-01-01
在线出版日期：2026-08-28（本平台首次上网日期，不代表文献的发表时间）
页数：4( 79-82 )
英文信息