On the Semantics of Alice&Bob Specifications of Security Protocols (2006)

by C Caleiro, L Viganò, D Basin
Venue:Theoretical Computer Science