RT Conference Proceedings
T1 L–PEP: a logic to reason about privacy–enhancing cryptography protocols
A1 Alcaide Raya, Almudena
A1 Abdallah, Ali
A1 González-Tablas Ferreres, Ana Isabel
A1 Fuentes, José María de
AB 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.
PB Springer
SN 978-3-642-19347-7 (Print)
SN 978-3-642-19348-4 (Online)
SN 0302-9743 (Print)
SN 1611-3349 (Online)
YR 2011
FD 2011
LK https://hdl.handle.net/10016/14434
UL https://hdl.handle.net/10016/14434
LA eng
NO Proceedings of: 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010.
DS e-Archivo
RD 30 jun. 2024