Petri Net Based Models for Specification and Analysis of Cryptographic Protocols.

Published in: J. Syst. Softw. (1997)

Keyphrases