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]

Authors

Almudena Alcaide

This author has not been identified. Look up 'Almudena Alcaide' in Google

Ali E. Abdallah

This author has not been identified. Look up 'Ali E. Abdallah' in Google

Ana Isabel González-Tablas Ferreres

This author has not been identified. Look up 'Ana Isabel González-Tablas Ferreres' in Google

José María de Fuentes

This author has not been identified. Look up 'José María de Fuentes' in Google