Model checking cryptographic protocols subject to combinatorial attack

Bibliographic Details
Main Authors: Roscoe, A, Smyth, T, Nguyen, L
Format: Journal article
Published: 2012