Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis.

John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague

Browse the full LICS paper archive.