Formality of the Security Specification Process: Benefits Beyond Requirements.

Jose Romero-Mariona Hadar Ziv Debra J. Richardson

Published in: HICSS (2010)

Keyphrases

requirements engineering
intrusion detection
software requirements
access control
process model
formal specification
security requirements
requirements analysis