A derivation system and compositional logic for security protocols (2005)

by A Datta, A Derek, J C Mitchell, D Pavlovic
Venue:Journal of Computer Security