(2006) Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes.
In: Proceedings of 11th European Symposium on Research in Computer Security(ESORICS).
|
Text
c40-final.pdf - Published Version Download (313kB) | Preview |
Item Type: | Conference or Workshop Item (A Paper) (Paper) |
---|---|
Additional Information: | pub_id: 371 Bibtex: backes06limitsb URL date: None |
Divisions: | Michael Backes (InfSec) |
Depositing User: | Sebastian Weisgerber |
Date Deposited: | 26 Jul 2017 10:30 |
Last Modified: | 27 Jul 2017 07:48 |
URI: | https://publications.cispa.saarland/id/eprint/576 |
Actions
Actions (login required)
View Item |