Formal Proof of Cooperativeness in a Multi–Party P2P Content Authentication Protocol | Publicación