Alcaide et al. - DPM 2010

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.

L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols Almudena Alcaide (University Carlos III of Madrid, Spain), Ali E. Abdallah (London South Bank University, UK), Ana I. Gonzalez-Tablas (University Carlos III of Madrid, Spain), Jose M. de Fuentes (University Carlos III of Madrid, Spain).
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.