On verification of implementation of security specification with Petri nets' protocol inheritance
Wenshan Tang, Zhaolong Gou, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi · 2016
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.