Low-Level Ideal Signatures and General Integrity Idealization
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Low-Level Ideal Signatures and General Integrity IdealizationPublished by Springer Nature ,2004
- Soundness of Formal Encryption in the Presence of Active AdversariesPublished by Springer Nature ,2004
- Symmetric Authentication within a Simulatable Cryptographic LibraryPublished by Springer Nature ,2003
- Plaintext Awareness via Key RegistrationPublished by Springer Nature ,2003
- Universal Composition with Joint StatePublished by Springer Nature ,2003
- A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key ProtocolPublished by Springer Nature ,2003
- An Efficient Existentially Unforgeable Signature Scheme and Its ApplicationsJournal of Cryptology, 1998
- Secure Signature Schemes based on Interactive ProtocolsPublished by Springer Nature ,1995
- A Digital Signature Scheme Secure Against Adaptive Chosen-Message AttacksSIAM Journal on Computing, 1988
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983