Sound Computational Interpretation of Formal Encryption with Composed Keys
Authors:
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 55-66
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Private Authentication2003
- A Theoretical Treatment of Related-Key Attacks: RKA-PRPs, RKA-PRFs, and Applications2003
- Encryption-Scheme Security in the Presence of Key-Dependent Messages2003
- Formal Eavesdropping and Its Computational Interpretation2001
- Semantics and Program Analysis of Computationally Secure Information Flow2001
- Practice-oriented provable-security1998
- On the foundations of modern cryptography1997
- A logic of authenticationACM Transactions on Computer Systems, 1990
- Using one-way functions for authenticationACM SIGCOMM Computer Communication Review, 1989
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983