Elaborating Security Requirements by Construction of Intentional Anti-Models.

Axel van Lamsweerde

Published in: ICSE (2004)

Keyphrases

security requirements
reference models
access control
smart card
security analysis
real time
information systems
security policies
software architecture
security model
security properties