Login / Signup
Formal Proof of Cooperativeness in a Multi-Party P2P Content Authentication Protocol.
Almudena Alcaide
Esther Palomar
Ana Isabel González-Tablas Ferreres
Arturo Ribagorda
Published in:
TrustBus (2010)
Keyphrases
</>
multi party
formal proof
authentication protocol
privacy preserving
smart card
peer to peer
lightweight
theorem prover
trust relationships
security analysis
rfid tags
secret key
security protocols
information systems
data sharing
public key