Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes

Computer Security – ESORICS 2006 - Lecture Notes in Computer Science ◽

10.1007/11863908_25 ◽

2006 ◽

pp. 404-423 ◽

Cited By ~ 5

Author(s):

Michael Backes ◽

Birgit Pfitzmann ◽

Michael Waidner

Download Full-text