Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis - researchr publication related

researchr

You are not signed in
Sign in
Sign up

John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. In LICS. pages 3-8, 2001.

The following publications are possibly variants of this publication:

Probabilistic Polynomial-Time Process Calculus and Security Protocol AnalysisJohn C. Mitchell. ESOP 2001: 23-29 [doi]

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocolsJohn C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. TCS, 353(1-3):118-164, 2006. [doi]

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report)John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. ENTCS, 45:280-310, 2001. [doi]

Probabilistic Bisimulation and Equivalence for Security Analysis of Network ProtocolsAjith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague. fossacs 2004: 468-483 [doi]

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process CalculusPaulo Mateus, John C. Mitchell, Andre Scedrov. concur 2003: 323-345 [doi]

runs on WebDSL