Abstraction and refinement in protocol derivation (2004)

by A Datta, A Derek, J C Mitchell, D Pavlovic
Venue:In Proc. 17th IEEE Computer Security Foundations Workshop (CSFW