Preserving security properties under refinement.

Fabio Martinelli Ilaria Matteucci

Published in: SESS@ICSE (2011)

Keyphrases

security properties
security requirements
formal model
security analysis
security protocols
security vulnerabilities
formal methods
cryptographic protocols
databases
artificial intelligence
cloud computing
smart card