@misc{W2029693536,
  author = {Danny Dolev and A. Yao},
  title = {On the security of public key protocols},
  year = {1983},
  howpublished = {IEEE Transactions on Information Theory},
  doi = {https://doi.org/10.1109/tit.1983.1056650}
}