Elaborating Security Requirements by Construction of Intentional Anti-Models Publication Type: Conference Proceedings Authors: A. van Lamsweerde Source: Proceedings of the 26th International Conference on Software Engineering, ICSE 2004 (2004)
