Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.

Paulo Mateus, John C. Mitchell, Andre Scedrov

Browse the full CONCUR paper archive.