Model checking cryptographic protocols subject to combinatorial attack. (2011)

(untitled) - Roscoe, T; Nguyen., L