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

Michael Backes, Birgit Pfitzmann, Michael Waidner

Browse the full ESORICS paper archive.