Name
Title | ||
|---|---|---|
On Verification Of Implementation Of Security Specification With Petri Nets' Protocol Inheritance |
Abstract | ||
|---|---|---|
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. |
Year | Venue | Field |
|---|---|---|
2016 | 2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS | Programming language,Petri net,Fingerprint recognition,Computer science,Process architecture,Time complexity,Distributed computing |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wenshan Tang | 1 | 0 | 0.68 |
| Zhaolong Gou | 2 | 1 | 1.70 |
| Mohd Anuaruddin Bin Ahmadon | 3 | 6 | 10.13 |
| shingo | 4 | 64 | 31.04 |