| 809 | -- | 814 | Eduardo Fernández-Medina, Jan Jürjens, Juan Trujillo, Sushil Jajodia. Model-Driven Development for secure information systems |
| 815 | -- | 831 | David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea. Automated analysis of security-design models |
| 832 | -- | 845 | Ghassan Beydoun, Graham Low, Haralambos Mouratidis, Brian Henderson-Sellers. A security-aware metamodel for multi-agent systems (MAS) |
| 846 | -- | 864 | Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb. An aspect-oriented methodology for designing secure applications |
| 865 | -- | 875 | Zhi Jian Zhu, Mohammad Zulkernine. A model-based aspect-oriented framework for building intrusion-aware software systems |
| 876 | -- | 893 | Howard Chivers, Richard F. Paige. XRound: A reversible template language and its application in model-based security analysis |
| 894 | -- | 915 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca. Model-Based Development of firewall rule sets: Diagnosing model inconsistencies |
| 916 | -- | 932 | Andreas L. Opdahl, Guttorm Sindre. Experimental comparison of attack trees and misuse cases for security threat identification |
| 933 | -- | 955 | Liang Xiao 0002. An adaptive security model using agent-oriented MDA |