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
Conference Proceedings
J Mitchell, A Ramanathan, A Scedrov, V Teague
Electronic Notes in Theoretical Computer Science | Published : 2001