Proving Properties of Security Protocols by Induction (1997)

by Lawrence C. Paulson
Venue:In 10th IEEE Computer Security Foundations Workshop
Citations:150 - 7 self

Document Versions

Proving Properties of Security Protocols by Induction –Lawrence C. Paulson — 1997 — In 10th IEEE Computer Security Foundations Workshop
Proving properties of security protocols by induction –Lawrence C. Paulson — 1997 — In 10th IEEE Computer Security Foundations Workshop