Manik Lal Das, V. Lakshmi Narasimhan. Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic. In Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA. pages 545-550, IEEE Computer Society, 2008. [doi]
@inproceedings{DasN08:0,
title = {Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic},
author = {Manik Lal Das and V. Lakshmi Narasimhan},
year = {2008},
doi = {10.1109/ITNG.2008.140},
url = {http://doi.ieeecomputersociety.org/10.1109/ITNG.2008.140},
tags = {protocol, logic},
researchr = {https://researchr.org/publication/DasN08%3A0},
cites = {0},
citedby = {0},
pages = {545-550},
booktitle = {Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA},
publisher = {IEEE Computer Society},
}