L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols

Almudena Alcaide, Ali E. Abdallah, Ana Isabel González-Tablas Ferreres, José María de Fuentes. L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols. In Joaquín García-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre, editors, Data 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. Volume 6514 of Lecture Notes in Computer Science, pages 108-122, Springer, 2010. [doi]

Abstract

Abstract is missing.