The inductive approach to verifying cryptographic protocols (1998)

by Lawrence C. Paulson
Venue:Journal of Computer Security
Citations:368 - 27 self

Document Versions

The inductive approach to verifying cryptographic protocols –Lawrence C. Paulson — 1998 — Journal of Computer Security
The Inductive Approach to Verifying Cryptographic Protocols –Lawrence C. Paulson — 2000 — Journal of Computer Security
The Inductive Approach to Verifying Cryptographic Protocols –Lawrence C. Paulson — 1998 — Journal of Computer Security
The inductive approach to verifying cryptographic protocols –Lawrence C. Paulson — 1998 — Journal of Computer Security
The inductive approach to verifying cryptographic protocols –Lawrence C. Paulson — 1998 — Journal of Computer Security