L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols.
Almudena AlcaideAli E. AbdallahAna Isabel González-Tablas FerreresJosé María de FuentesPublished in: DPM/SETOP (2010)
Keyphrases
- privacy enhancing
- personal information
- cellular automata
- logic programming
- cryptographic protocols
- modal logic
- data analysis
- communication protocols
- predicate logic
- security protocols
- classical logic
- automated reasoning
- information security
- multi valued
- computational properties
- wireless networks
- proof theory
- database