An encapsulated authentication logic for reasoning about key distribution protocols (Proceedings of CSFW 2005, 2005)

(untitled) - Cervesato, I; Meadows, C; Pavlovic, D