Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library

Backes, Michael and Pfitzmann, Birgit
(2004) Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.
In: Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW).

[img]
Preview
Text
c25-final.pdf - Published Version

Download (475kB) | Preview

Actions

Actions (login required)

View Item View Item