A new method of verification of security protocols
Andrew M. Mironov · arXiv (Cornell University) · 2017
In the paper we introduce a process model of security protocols, where processes are graphs with edges labelled by actions, and present a new method of specification and verification of security protocols based on this model.