On Verification of Implementation of Security Specification with Petri Nets' Protocol Inheritance

被引：0
|
作者：
Tang, Wenshan [1 ]
Gou, Zhaolong [1 ]
Bin Ahmadon, Mohd Anuaruddin [1 ]
Yamaguchi, Shingo [1 ]
机构：
[1] Yamaguchi Univ, Grad Sch Sci & Engn, 2-16-1 Tokiwadai, Ube, Yamaguchi 7558611, Japan
来源：
2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS | 2016年
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
In this paper, we tackled a problem: Given a security specification and its implementation, does the implementation satisfy the security specification? We first formalized the problem in terms of Petri nets. Next, we gave a polynomial time procedure to solve the problem based on Petri nets' analysis technique. Then we illustrated the procedure with an example to show the effectiveness.
引用
收藏
页数：4
相关论文
共 50 条
  • [31] On the Distributed Implementation of Petri Nets
    Taubner, Dirk
    IT - Information Technology, 1988, 30 (05): : 357 - 370
  • [32] Verification technique for time Petri nets
    Bonhomme, P
    Berthelot, G
    Aygalinc, P
    Calvez, S
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4278 - 4283
  • [33] Verification of Prognosability for Labeled Petri Nets
    Yin, Xiang
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (06) : 1828 - 1834
  • [34] Verification of Detectability in Labeled Petri Nets
    Tong, Yin
    Lan, Hao
    Guo, Jin
    2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, : 5627 - 5632
  • [35] A modified method for analyzing authentication protocol security using Colored Petri Nets
    Shen, Jiajun
    Feng, Dongqin
    Chu, Jian
    Feng, D. (dqfeng@iipc.zju.edu.cn), 1600, Binary Information Press (10): : 4233 - 4243
  • [36] Security Analysis on Railway Network Time Protocol Based on Colored Petri Nets
    Zhang Y.
    Zhang H.
    Wang H.
    Tiedao Xuebao/Journal of the China Railway Society, 2017, 39 (10): : 82 - 88
  • [37] Stochastic Petri Nets and inheritance for dependability modelling
    Bernardi, S
    Donatelli, S
    10TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2004, : 363 - 372
  • [38] Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach
    Captarencu, Oana Otilia
    ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012, 2012, 112 : 486 - 493
  • [39] Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security
    He, Leifeng
    Liu, Guanjun
    2020 IEEE WORLD CONGRESS ON SERVICES (SERVICES), 2020, : 25 - 28
  • [40] Specification and verification of views over composite web services using high level Petri-Nets
    Boukadi, Khouloud
    Ghedira, Chirine
    Maamar, Zakaria
    Benslimane, Djamal
    ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: SOFTWARE AGENTS AND INTERNET COMPUTING, 2007, : 107 - +
12345