| 基于串空间认证测试理论的认证协议分析 |
| |
| 引用本文： | 翁艳琴,石曙东,解颜铭.基于串空间认证测试理论的认证协议分析[J].微型机与应用,2012,31(1):51-54. |
| |
| 作者姓名： | 翁艳琴 石曙东 解颜铭 |
| |
| 作者单位： | 1. 湖北师范学院数学与统计学院,湖北黄石435000／湖北师范学院计算机科学与技术学院,湖北黄石435000
2. 湖北师范学院计算机科学与技术学院,湖北黄石,435000 |
| |
| 基金项目： | 湖北省自然科学基金，湖北省教育厅重点项目，湖北竹教育厅青年项目 |
| |
| 摘 要： | 对增强型认证测试理论进行简化，使其能更好、更高效地分析协议的认证性。将其应用到对OR协议的分析中，发现协议存在的缺陷，对协议进行改进，并对改进后的协议进行了分析验证。
|
| 关 键 词： | 串空间模型 认证测试 关联性理论 |
Authentication protocol analysis based on certification test theory in strand space |
| |
| Weng Yanqin,Shi Shudong,Xie Yanming.Authentication protocol analysis based on certification test theory in strand space[J].Microcomputer & its Applications,2012,31(1):51-54. |
| |
| Authors: | Weng Yanqin Shi Shudong Xie Yanming |
| |
| Affiliation: | 1,2(1.Institute of Mathematics and Statistical,Hubei Normal University,Huangshi 435000,China;2.Institute of Computer Science and Technology,Hubei Nomal University,Huangshi 435000,China) |
| |
| Abstract: | This paper simplifies the theory of enhanced certification testing to make it better for analysis of authentication protocols,and by applicating it to the analysis of the OR agreement,it finds defects in agreement.The agreement is modified,and the improved authentication protocol is also verified. |
| |
| Keywords: | strand space theory certification testing relevance concepts |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
