| 基于串空间模型的认证测试方法 |
| |
| 引用本文： | 张玲玲,谢圣献,贾仰理.基于串空间模型的认证测试方法[J].聊城大学学报(自然科学版),2015(1):79-82. |
| |
| 作者姓名： | 张玲玲 谢圣献 贾仰理 |
| |
| 作者单位： | 聊城大学 计算机学院,山东 聊城,252059 |
| |
| 基金项目： | 国家密码管理局项目；山东省自然科学基金项目(ZR2011FL023)；山东省高校智能信息处理与网络安全重点实验室 |
| |
| 摘 要： | 串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.
|
| 关 键 词： | 安全协议 串空间模型 N-S公钥协议 |
The Certification Test Method Based on String of Space Model |
| |
| ZHANG Ling-ling,XIE Sheng-xian,JIA Yang-li.The Certification Test Method Based on String of Space Model[J].Journal of Liaocheng University:Natural Science Edition,2015(1):79-82. |
| |
| Authors: | ZHANG Ling-ling XIE Sheng-xian JIA Yang-li |
| |
| Abstract: | |
| |
| Keywords: | security protocol the strand space model N-S public key protocol |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
