Geoffrey R. Wheeler
-
Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN
Nordic Journal of Computing