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 条

[41] A model-based approach to formal specification and verification of embedded systems using colored Petri nets
da Silva, LD
Perkusich, A
COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 35 - 58
[42] A Verification Method of Soundizability under Protocol Inheritance for Acyclic Free Choice Workflow Nets
Wu, Huan
Yamaguchi, Shingo
2013 IEEE INTERNATIONAL CONFERENCE OF IEEE REGION 10 (TENCON), 2013,
[43] COMMUNICATION PROTOCOL VALIDATION BY PETRI NETS
BANDMAN, OL
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 82 - 91
[44] Specification of timed authentication protocols with colored Petri nets
Jakubowska, G
Srebrny, M
ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 383 - 392
[45] Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets
Ahmad, Farooq
Chaudhry, Muhammad Tayyab
Jamal, Muhammad Hasan
Sohail, Muhammad Amar
Gavilanes, Daniel
Masias Vergara, Manuel
Ashraf, Imran
PLOS ONE, 2023, 18 (08):
[46] AUGMENTED PETRI NETS - A SPECIFICATION TOOL FOR COMPLEX APPLICATIONS
LIGGESMEYER, P
STURM, L
ANGEWANDTE INFORMATIK, 1988, 30 (06): : 252 - 258
[47] HARDWARE IMPLEMENTATION OF GENERALIZED PETRI NETS
COURVOISIER, M
SECK, JP
ELECTRONICS LETTERS, 1979, 15 (24) : 770 - 772
[48] THE SEQUENTIAL IMPLEMENTATION OF SAFE PETRI NETS
ZAKREVSKII, AD
DOKLADY AKADEMII NAUK BELARUSI, 1986, 30 (02): : 120 - 123
[49] Automatic abstraction refinement for Petri nets verification
Chen, ZY
Zhou, CH
Ding, DC
HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 168 - 174
[50] Matrix Reduction Verification of Extended Petri Nets
Cantrell, Walter Alan
Maxwell, Katia P.
Petty, Mikel D.
Whitaker, Tymaine S.
ACMSE 2020: PROCEEDINGS OF THE 2020 ACM SOUTHEAST CONFERENCE, 2020, : 296 - 299

← 1 2 3 4 5 →