@inproceedings{23a8a0bca19d4769b6a6fc481b5cf59c,
title = "L-PEP: A logic to reason about privacy-enhancing cryptography protocols",
author = "Almudena Alcaide and Abdallah, {Ali E.} and Gonz{\'a}lez-Tablas, {Ana I.} and {De Fuentes}, {Jos{\'e} M.}",
year = "2011",
doi = "10.1007/978-3-642-19348-4_9",
language = "English",
isbn = "9783642193477",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "108--122",
booktitle = "Data Privacy Management and Autonomous Spontaneous Security - 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Revised Selected Papers",
note = "5th International Workshop on Data Privacy Management, DPM 2010 and 3rd International Workshop on Autonomous and Spontaneous Security, SETOP 2010 ; Conference date: 23-09-2010 Through 23-09-2010",
}