Security Properties.

Published in: ICISS (2010)

Keyphrases

security properties
security requirements
formal model
security analysis
security protocols
cryptographic protocols
formal methods
security vulnerabilities
real time
artificial intelligence
knowledge representation
information security
public key