Formal Modeling of Cryptographic Protocols Using Colored Petri Nets

摘要：

Cryptographic protocol is the crucial secure mechanism for sharing network resources. The security of the cryptographic protocol plays a vital role to entire network environment. In this paper,a new Colored Petri Nets (CPN) methodology for security property analysis of cryptographic protocol is proposed. We apply the new approach to modeling the TMN protocol with multiple concurrent sessions,and the model is categorized based on session configuration and session schedule. Using the state space search method,several attack states of multiple concurrent sessions are found,and a new attack pattern is obtained.

关键词： Cryptographic protocol TMN CPN Multiple concurrent sessions

作者: Bai Yunli Ye Xinming

作者单位: College of Computer Science,Inner Mongolia University,Hohhot 010021,China College of Computer and In College of Computer Science,Inner Mongolia University,Hohhot 010021,China

会议类型: 国际会议

会议名称: 2011 International Conference on Opto-Electronics Engineering and Information Science(2011光电电子工程与信息科学国际会议 ICOEIS 2011)

会议地点: 西安

会议语种:英文

页码: 169-173

在线出版日期: 2011-12-23（万方平台首次上网日期，不代表论文的发表时间）