Publication:
L–PEP: a logic to reason about privacy–enhancing cryptography protocols

Thumbnail Image
Identifiers
URI: https://hdl.handle.net/10016/14434
ISSN: 0302-9743 (Print)
ISSN: 1611-3349 (Online)
ISBN: 978-3-642-19347-7 (Print)
ISBN: 978-3-642-19348-4 (Online)
DOI: 10.1007/978-3-642-19348-4_9
Files
L_PEP_e_archivo.pdf (117.27 KB)
Publication date
2011
Defense date
Authors
Advisors
Tutors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Impact
Google Scholar
Export
Research Projects
Organizational Units
Journal Issue
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.
Description
Proceedings of: 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010.
Keywords
Non-monotonic cryptography protocols, Formal protocol verification, Privacy-enhancing protocols
Bibliographic citation
Joaquín García-Alfaro et al. (eds.), Data privacy management and autonomous spontaneous security. 5th International Workshop, DPM 2010, and 3rd InternationalWorkshop, SETOP 2010, Athens, Greece, September 23, 2010 (pp. 108-122). Revised selected papers. Berlin: Springer, 2011
Collections
DI - COSEC - Artículos en Congresos Internacionales
DI - COSEC - Capítulos de Monografías