基于认证测试的一种安全协议一致性分析方法

计算机科学 ›› 2007, Vol. 34 ›› Issue (10): 99-102.

• 软件工程与数据库技术 • 上一篇下一篇

基于认证测试的一种安全协议一致性分析方法

周清雷王峰赵东明

郑州大学信息工程学院,郑州450052

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金（69873040）.

ZHOU Qing-Lei, WANG Feng, ZHAO Dong-Ming （School of Information Engineering, Zhengzhou University , Zhengzhou 450052）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 认证测试^[1]技术是串空间（strand space）理论的进一步发展，不仅用于认证协议的安全性分析而且还用于指导认证协议的设计^[2]。但在分析安全协议为何不正确以及如何改进方面，与其他的形式化验证方法一样，也不能提供更深入有效的分析。本文提出了参数一致性矩阵的概念并运用参数一致性矩阵对协议的一致性进行分析，说明了协议失败的原因并给出改进的方向。分析过程的形式化有利于协议分析自动化工具的实现。

关键词: 认证测试安全协议串空间模型一致性

Abstract: Authentication Test is the further development of strand space, it can be used not only for analyzing protocols, but also for guiding the design of protocol. However in the aspect of why a protocol is incorrect and how to improve it,Authentication Test ca

Key words: Authentication test, Security protocol, Strand space model, Agreement property

周清雷王峰赵东明. 基于认证测试的一种安全协议一致性分析方法[J]. 计算机科学, 2007, 34(10): 99-102. https://doi.org/

ZHOU Qing-Lei, WANG Feng, ZHAO Dong-Ming （School of Information Engineering, Zhengzhou University , Zhengzhou 450052）. [J]. Computer Science, 2007, 34(10): 99-102. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

基于认证测试的一种安全协议一致性分析方法

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0