Login / Signup
Security properties in an open peer-to-peer network
Jean-François Lalande
David Rodriguez
Christian Toinard
Published in:
CoRR (2010)
Keyphrases
</>
security properties
security requirements
formal model
security analysis
security protocols
cryptographic protocols
security vulnerabilities
formal methods
information systems
real time
data mining
encryption scheme
key agreement