@misc{indiciae717c364b6e2f,
  title = {The Inductive Approach to Verifying Cryptographic Protocols},
  author = {Lawrence C. Paulson},
  year = {2021},
  doi = {10.3233/jcs-1998-61-205},
  url = {https://arxiv.org/abs/2105.06319},
  note = {Source identifier: 2105.06319}
}