Untraceability in the applied pi-calculus

Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan. Untraceability in the applied pi-calculus. In Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, ICITST 2009, London, UK, November 9-12, 2009. pages 1-6, IEEE, 2009. [doi]

Authors

Myrto Arapinis

This author has not been identified. Look up 'Myrto Arapinis' in Google

Tom Chothia

This author has not been identified. Look up 'Tom Chothia' in Google

Eike Ritter

This author has not been identified. Look up 'Eike Ritter' in Google

Mark Ryan

This author has not been identified. Look up 'Mark Ryan' in Google