On verification of implementation of security specification with Petri nets' protocol inheritance | IEEE Conference Publication | IEEE Xplore