Paventhan Vivekanandan. A Type-based Formal Specification for Cryptographic Protocols. J. Internet Serv. Inf. Secur., 8(4):16-36, 2018. [doi]
@article{Vivekanandan18,
title = {A Type-based Formal Specification for Cryptographic Protocols},
author = {Paventhan Vivekanandan},
year = {2018},
doi = {10.22667/JISIS.2018.11.30.016},
url = {https://doi.org/10.22667/JISIS.2018.11.30.016},
researchr = {https://researchr.org/publication/Vivekanandan18},
cites = {0},
citedby = {0},
journal = {J. Internet Serv. Inf. Secur.},
volume = {8},
number = {4},
pages = {16-36},
}