Verifiable Composition of Signature and Encryption [electronic resource] : A Comprehensive Study of the Design Paradigms /
El Aimani, Laila.author.
This monograph gives a thorough treatment of the celebrated compositions of signature and encryption that allow for verifiability, that is, to efficiently prove properties about the encrypted data. This study is provided in the context of two cryptographic primitives: (1) designated confirmer signatures, an opaque signature which was introduced to control the proliferation of certified copies of documents, and (2) signcryption, a primitive that offers privacy and authenticity at once in an efficient way. This book is a useful resource to researchers in cryptology and information security, graduate and PhD students, and security professionals.
Includes bibliographical references at the end of each chapters and index.
Part I: Background -- 1. Preliminaries -- 2. Case-study primitives -- Part II: the "Sign then Encrypt" (StE) paradigm -- 3. Analysis of StE -- 4.  An efficient variant of StE -- Part III: The "Commit then Encrypt and Sign" (CtEaS) paradigm -- 5. Analysis of CtEaS -- 6. CtEtS: an efficient variant of CtEaS -- Part IV: New paradigms -- 7. EtStE: a new paradigm for verifiable signcryption -- 8. Multi-user security -- 9. Insider privacy.-10. Wrap - up.
This monograph gives a thorough treatment of the celebrated compositions of signature and encryption that allow for verifiability, that is, to efficiently prove properties about the encrypted data. This study is provided in the context of two cryptographic primitives: (1) designated confirmer signatures, an opaque signature which was introduced to control the proliferation of certified copies of documents, and (2) signcryption, a primitive that offers privacy and authenticity at once in an efficient way. This book is a useful resource to researchers in cryptology and information security, graduate and PhD students, and security professionals.
Data structures (Computer science).
Computer science
Data Structures and Information Theory.
Mathematics of Computing.