Conference Proceedings

A Probabilistic polynomial-time calculus for analysis of cryptographic protocols: (Preliminary report)

J Mitchell, A Ramanathan, A Scedrov, V Teague

Electronic Notes in Theoretical Computer Science | Published : 2001

DOI: 10.1016/S1571-0661(04)80968-X

University of Melbourne Researchers

Vanessa Teague Author Computing and Information Systems

Citation metrics