Login / Signup
Cryptocat: Adopting Accessibility and Ease of Use as Security Properties.
Nadim Kobeissi
Arlo Breault
Published in:
CoRR (2013)
Keyphrases
</>
security properties
formal model
security requirements
security analysis
security vulnerabilities
security protocols
cryptographic protocols
formal methods
real time
key agreement
databases
information security