Journal article

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

JC Mitchell, A Ramanathan, A Scedrov, V Teague

Theoretical Computer Science | ELSEVIER | Published : 2006