Tom Coffey, Reiner Dojen, Tomas Flanagan. Formal verification: an imperative step in the design of security protocols . Computer Networks, 43(5):601-618, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.