Michael Backes, Birgit Pfitzmann, and Michael Waidner. Limits of the reactive simulatability/uc of dolev-yao models with hashes. Cryptology ePrint Archive, Report 2006/014 (http://eprint.iacr.org/2006/068), 2006. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Completeness of Formal Hashes in the - Standard Model Flavio (2006) (Correct)
Sound Computational Interpretation of - Symbolic Hashes In (Correct)
Completeness of Formal Hashes in the Standard Model - Garcia, van Rossum (Correct)
Conditional Reactive Simulatability - Backes, Dürmuth, Hofheinz, Küsters (2006) Self-citation (Simulatability) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC