CCA-Security for predicate encryption schemes / M. Sc. Gennadij Liske ; Supervisor: Prof. Dr. rer. nat. Johannes Blömer. Paderborn, 2017
Inhalt
- General Introduction
- Preliminaries
- Security Definitions for Predicate-Based Schemes
- Introduction, Related Work, and Main Contribution
- Formalization of Security Properties
- SS and IND
- Semantic Security Template for PE
- Indistinguishability Templates for PE and P-KEM
- Attack Scenarios and Additional Restrictions of Adversaries
- Relations Between SS-Security and IND-Security for PE
- Subtleties in Security Definitions for PE and P-KEM
- Fully CCA-Secure Framework in Composite-Order Groups
- Introduction, Related Work, and Main Contribution
- Background, Construction and Intuition
- Security of the Framework and the Extended Proof Technique
- Fully CCA-Secure Framework in Prime-Order Groups
- Introduction and Main Contribution
- Background, Construction and Intuition
- Preliminaries
- Matrices of Group Elements and Computation Rules
- General Lemmata
- Matrix-DDH Security Assumption
- CCA Security Definition for PE
- Fully CCA-secure Framework
- Security of the Framework
- Conclusion and Future Work