## John C. Mitchell

*Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis*

ESOP, 2001.

@inproceedings{ESOP-2001-Mitchell, author = "John C. Mitchell", booktitle = "{Proceedings of the 10th European Symposium on Programming}", doi = "10.1007/3-540-45309-1_2", editor = "David Sands", isbn = "3-540-41862-8", pages = "23--29", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis}", volume = 2028, year = 2001, }