L–PEP: A Logic to Reason about Privacy–Enhancing Cryptography Protocols
Alcaide, Almudena and Abdallah, Ali E. and González–Tablas, Ana I. and Fuentes, José M. (2011) L–PEP: A Logic to Reason about Privacy–Enhancing Cryptography Protocols. In: Data Privacy Management and Autonomous Spontaneous Security. Springer, Berlin, Heidelberg, pp. 108-122. ISBN 978-3-642-19348-4
Full text not available from this repository. (Request a copy)Abstract
In recent years, many cryptography protocols have been designed for many different scenarios, with the purpose of preserving security of communications as well as privacy and anonymity of participant entities. In general, every proposed solution has possed a real challenge to the existing formal methods of protocol analysis and verification. The main goal of this work is the proposal of a logic to reason about privacy-enhancing monotonic and non–monotonic cryptography protocols. The new logic will be called L-PEP and it extends the existing Rubin’s logic of beliefs.
| Item Type: | Book Section | ||||
|---|---|---|---|---|---|
| Identification Number: | https://doi.org/10.1007/978-3-642-19348-4_9 | ||||
| Dates: |
|
||||
| Subjects: | CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science | ||||
| Divisions: | Faculty of Computing, Engineering and the Built Environment Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology |
||||
| Depositing User: | Oana-Andreea Dumitrascu | ||||
| Date Deposited: | 07 Apr 2017 10:57 | ||||
| Last Modified: | 22 Mar 2023 12:02 | ||||
| URI: | https://www.open-access.bcu.ac.uk/id/eprint/4230 |
Actions (login required)
 |
View Item |
Tools
Tools