A Formal Analysis of Fairness and Non-repudiation in the RSA-CEGD Protocol | Publicación