A.: Elaborating security requirements by construction of intentional anti-models (2004)

by van Lamsweerde
Venue:In: International Conference on Software Engineering (ICSE