计算机科学 ›› 2006, Vol. 33 ›› Issue (3): 89-92.
• • 上一篇 下一篇
刘靖 叶新铭
出版日期:
发布日期:
基金资助:
LIU Jing , YE Xin-Ming (Dept. of Computer Science, Inner Mongolia University, Huhhot 010021)
Online:
Published:
摘要: 对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性.本文将使用具有强数学基础和强分析能力的着色Petri网(Colored Petri Net,简称CP-Nets)对NS公钥认证协议(NeedhamSchoeder Public-Key Authentication Protocol)进行建模,在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法.
关键词: CP-Nets 协议描述 协议验证 NS公钥认证协议
Abstract: Formal specification and verification of network security protocol makes contribution to avoiding protocol designing error or inaccuracy. This paper will model Needham-Schroeder Public-Key Authentication Protocol with Colored Petri Nets, which has strong
Key words: CP-Nets, Protocol specification, Protocol verification, NSPKAP
刘靖 叶新铭. 基于Colored Petri网的安全协议描述和验证[J]. 计算机科学, 2006, 33(3): 89-92. https://doi.org/
LIU Jing , YE Xin-Ming (Dept. of Computer Science, Inner Mongolia University, Huhhot 010021). [J]. Computer Science, 2006, 33(3): 89-92. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I3/89
Cited