Formal Eavesdropping and Its Computational Interpretation
Authors:
- Martín AbadiMAMartín Abadi
- Jan JürjensJJJan Jürjens
- 10 October 2001
- book chapter
- Published by Springer Nature
- p. 82-94
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A concrete security treatment of symmetric encryption2002
- Composability of SecrecyLecture Notes in Computer Science, 2001
- Secrecy-Preserving RefinementLecture Notes in Computer Science, 2001
- Reconciling Two Views of Cryptography2000
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- A Digital Signature Scheme Secure Against Adaptive Chosen-Message AttacksSIAM Journal on Computing, 1988
- How to play ANY mental game1987
- Probabilistic encryptionJournal of Computer and System Sciences, 1984
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983
- How to generate cryptographically strong sequences of pseudo random bits1982