Formalizing and Validating Complex Security Requirements.

Philip Morris John Alexander McDermid

Published in: DBSec (1992)

Keyphrases

security requirements
security analysis
smart card
security concerns
information security
security policies
security mechanisms
security problems
real world
security properties
requirements engineering
databases
software architecture
security model
high level
information systems
meta reasoning