Modelling of security properties in Alloy.

Lilia Georgieva

Published in: PST (2011)

Keyphrases

security properties
formal model
security requirements
security analysis
security protocols
security vulnerabilities
cryptographic protocols
formal methods
real time
artificial intelligence
software engineering
low cost