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

Simple item page
dc.affiliation.dptoUC3M. Departamento de Informáticaes
dc.affiliation.grupoinvUC3M. Grupo de Investigación: COSEC (Computer SECurity Lab)es
dc.contributor.authorAlcaide Raya, Almudena
dc.contributor.authorAbdallah, Ali
dc.contributor.authorGonzález-Tablas Ferreres, Ana Isabel
dc.contributor.authorFuentes, José María de
dc.date.accessioned2012-06-01T10:40:24Z
dc.date.available2012-06-01T10:40:24Z
dc.date.issued2011
dc.descriptionProceedings of: 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010.
dc.description.abstractIn 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.
dc.description.statusPublicado
dc.format.mimetypeapplication/pdf
dc.identifier.bibliographicCitationJoaquí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
dc.identifier.doi10.1007/978-3-642-19348-4_9
dc.identifier.isbn978-3-642-19347-7 (Print)
dc.identifier.isbn978-3-642-19348-4 (Online)
dc.identifier.issn0302-9743 (Print)
dc.identifier.issn1611-3349 (Online)
dc.identifier.publicationfirstpage108
dc.identifier.publicationlastpage122
dc.identifier.publicationtitleData privacy management and autonomous spontaneous security: 5th International Workshop, DPM 2010, and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010. Revised selected papers.
dc.identifier.urihttps://hdl.handle.net/10016/14434
dc.language.isoeng
dc.publisherSpringer
dc.relation.eventdateSeptember 23, 2010
dc.relation.eventnumber5
dc.relation.eventnumber3
dc.relation.eventplaceAthens, Greece
dc.relation.eventtitleInternational Workshop on Data Privacy Management International Workshop (DPM 2010)
dc.relation.eventtitleInternational Workshop on Autonomous and Spontaneous Security (SETOP 2010)
dc.relation.ispartofseriesLecture Notes in Computer Science, Security and Cryptology
dc.relation.ispartofseries6514
dc.relation.publisherversionhttp://dx.doi.org/10.1007/978-3-642-19348-4_9
dc.rights© Springer
dc.rights.accessRightsopen access
dc.subject.ecienciaInformática
dc.subject.otherNon-monotonic cryptography protocols
dc.subject.otherFormal protocol verification
dc.subject.otherPrivacy-enhancing protocols
dc.titleL–PEP: a logic to reason about privacy–enhancing cryptography protocols
dc.typeconference paper*
dc.type.hasVersionAM*
dspace.entity.typePublication
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
L_PEP_e_archivo.pdf
Size:
117.27 KB
Format:
Adobe Portable Document Format
Download
Collections
DI - COSEC - Artículos en Congresos Internacionales
DI - COSEC - Capítulos de Monografías