A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol.

Almudena Alcaide, Juan M. Estvez-Tapiador, Antonio Izquierdo, Jos Mara Sierra

Browse the full ICCSA paper archive.