John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. In LICS. pages 3-8, 2001.
@inproceedings{MitchellRST01,
title = {Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis},
author = {John C. Mitchell and Ajith Ramanathan and Andre Scedrov and Vanessa Teague},
year = {2001},
tags = {protocol, analysis, C++, security},
researchr = {https://researchr.org/publication/MitchellRST01},
cites = {0},
citedby = {0},
pages = {3-8},
booktitle = {LICS},
}