Soundness Limits of Dolev-Yao Models (2001)

by M Backes, B Pfitzmann, M Waidner
Venue:Proceedings of the Workshop on Formal and Computational Cryptography (FCC 2006), 2006. [Can01] [CS02