Conference Proceedings
Probabilistic polynomial-time process calculus and security protocol analysis (short summary)
J Mitchell, A Ramanathan, A Scedrov, V Teague
Proceedings - Symposium on Logic in Computer Science | Published : 2001
Conference Proceedings
J Mitchell, A Ramanathan, A Scedrov, V Teague
Proceedings - Symposium on Logic in Computer Science | Published : 2001