A derivation system and compositional logic for security protocols (J. of Comp. Security, 2005)

(untitled) - Datta, A; Derek, A; Mitchell, J; Pavlovic, D