TY  - RPRT
TI  - The Inductive Approach to Verifying Cryptographic Protocols
AU  - Lawrence C. Paulson
PY  - 2021
DO  - 10.3233/jcs-1998-61-205
UR  - https://arxiv.org/abs/2105.06319
ID  - 2105.06319
ER  -