%0 Journal Article
%T Formal Modeling of Cryptographic Protocols Using Petri Nets<br>基于Petri网的密码协议形式化建模
%A BAI Yun-li
%A YE Xin-ming
%A <br>白云莉
%A 叶新铭
%J 计算机科学
%D 2012
%I 
%X Cryptographic protocol is secure mechanism for sharing network resources,is the cornerstone to build security network environment The security of the cryptographic protocol plays a vital role to entire network environment. A new colored Petri nets (CPN) methodology for security analysis of cryptographic protocol was proposed. We applied the new approach to model TMN protocol with multi concurrent session, and the model was categorized based on session configuration and session schedule. And the attack traces were obtained using on-th}fly method. Using the state space search method, several attack states of multi concurrent session were found, and a new attack pattern was obtained.
%K Cryptographic protocol
%K TMN
%K CPN
%K Multi concurrent session<br>密码协议
%K TMN
%K CPN
%K 多次并发会话
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=FDABA0B07E06BAF851C5590C130D28B7&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=5D311CA918CA9A03&sid=09ABD5535D9B6D45&eid=67969BA850333433&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0