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

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