Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi. Simulation and Analysis of Cryptographic Protocols. In Bhavani M. Thuraisingham, Reind P. van de Riet, Klaus R. Dittrich, Zahir Tari, editors, Data and Application Security, Development and Directions, IFIP TC11/ WG11.3 Fourteenth Annual Working Conference on Database Security, Schoorl, The Netherlands, August 21-23, 2000. Volume 201 of IFIP Conference Proceedings, pages 89-100, Kluwer, 2000.
@inproceedings{PapaBMHS00,
title = {Simulation and Analysis of Cryptographic Protocols},
author = {Mauricio Papa and Oliver Bremer and Stephen Magill and John Hale and Sujeet Shenoi},
year = {2000},
tags = {protocol, analysis},
researchr = {https://researchr.org/publication/PapaBMHS00},
cites = {0},
citedby = {0},
pages = {89-100},
booktitle = {Data and Application Security, Development and Directions, IFIP TC11/ WG11.3 Fourteenth Annual Working Conference on Database Security, Schoorl, The Netherlands, August 21-23, 2000},
editor = {Bhavani M. Thuraisingham and Reind P. van de Riet and Klaus R. Dittrich and Zahir Tari},
volume = {201},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-7923-7514-9},
}