A formal approach for checking security properties in SecSpaces.

Mario Bravetti Roberto Gorrieri Roberto Lucchi

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

security properties
formal model
formal methods
security requirements
security analysis
security protocols
security vulnerabilities
real time
information systems
computer systems
wireless networks
formal specification