Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes (2006)

by Michael Backes, Birgit Pfitzmann, Michael Waidner
Venue:In Proc. of the 11th European Symposium on Research in Computer Security