L-PEP: A logic to reason about privacy-enhancing cryptography protocols

Almudena Alcaide*, Ali E. Abdallah, Ana I. González-Tablas, José M. De Fuentes

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationData Privacy Management and Autonomous Spontaneous Security - 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Revised Selected Papers
    Pages108-122
    Number of pages15
    DOIs
    Publication statusPublished (VoR) - 2011
    Event5th International Workshop on Data Privacy Management, DPM 2010 and 3rd International Workshop on Autonomous and Spontaneous Security, SETOP 2010 - Athens, Greece
    Duration: 23 Sept 201023 Sept 2010

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume6514 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference5th International Workshop on Data Privacy Management, DPM 2010 and 3rd International Workshop on Autonomous and Spontaneous Security, SETOP 2010
    Country/TerritoryGreece
    CityAthens
    Period23/09/1023/09/10

    Fingerprint

    Dive into the research topics of 'L-PEP: A logic to reason about privacy-enhancing cryptography protocols'. Together they form a unique fingerprint.

    Cite this