Security Analysis of the TMN Protocol by using Coloured Petri Nets:Multi-Session Case

摘要：

The TMN protocol is a secure key exchange protocol for mobile communication system. Its security has been analyzed thoroughly by many approaches, and many attacks have been found. Recently, we developed a new Coloured Petri Net(CPN)approach to analyze cryptographic protocols. In this paper, we apply our new CPN method to analyze the TMN protocol for multiple sessions of protocol execution. Surprisingly, we found two new attacks of the protocol which have never been reported before.

关键词： component Formal methods for Cryptographic Protocols,Formal Methods,Network Security

作者: Yongyuth Permpoontanalarp

作者单位: Logic and Security Lab, Computer Engineering Department, Faculty of Engineering King Mongkuts University of Technology Thonburi Bangkok, Thailand

会议类型: 国际会议

会议名称: The 10th International Conference on Intelligent Technologies(第十届智慧科技国际会议 InTech09)

会议地点: 桂林

会议语种:英文

页码: 401-410

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