Attack trace generation of cryptographic protocols based on coloured Petri nets model
Attack trace generation of cryptographic protocols based on coloured Petri nets model
复制标题
基于彩色Petri网模型的密码协议攻击轨迹生成
DOI：
10.1504/ijwmc.2013.053028
复制
发表时间：
2013-04
影响因子：
--
通讯作者：
Xinming Ye
中科院分区：
文献类型：
--
作者：
Yunli Bai;Xinming Ye
In this paper, we propose a practical model checking methodology for the analysis of key exchange confidentiality property and authentication property of cryptographic protocols modelled by Coloured Petri Net CPN; and propose a new attack trace generation algorithm based on the Observed Coloured Petri Net OCPN, which is equipped with indicators that allow observation of the tokens in some of the places and/or observation of the firing of some of the transitions. Our methodology offers an efficient analysis of all attack traces for each found attack. In addition, we apply our method to TMN authenticated key exchanged protocol of mobile communication systems, and verified the effectiveness of our methodology.
登录
查看更多内容
影响因子：
2.5
作者：
DOLEV, D;YAO, AC
通讯作者：
YAO, AC
DOI：
10.1007/978-3-642-13464-7_16
发表时间：
2010-06
期刊：
--
影响因子：
--
作者：
Y. Permpoontanalarp
通讯作者：
Y. Permpoontanalarp
DOI：
10.4018/978-1-4666-1649-3.ch002
发表时间：
2012-01-01
期刊：
ANONYMOUS SECURITY SYSTEMS AND APPLICATIONS: REQUIREMENTS AND SOLUTIONS
影响因子：
--
作者：
Tamura, Shinsuke
通讯作者：
Tamura, Shinsuke
DOI：
10.1007/0-387-34805-0_30
发表时间：
1989-07
期刊：
--
影响因子：
--
作者：
M. Tatebayashi;Natsume Matsuzaki;D. B. Newman
通讯作者：
M. Tatebayashi;Natsume Matsuzaki;D. B. Newman
DOI：
10.1504/ijwmc.2006.012562
发表时间：
2006-02
期刊：
Int. J. Wirel. Mob. Comput.
影响因子：
--
作者：
Yang Xiao;C. Bandela;Xiaojiang Du;Yi Pan;Edilbert Kamal Dass
通讯作者：
Yang Xiao;C. Bandela;Xiaojiang Du;Yi Pan;Edilbert Kamal Dass