2008 Third International Conference on Availability, Reliability and Security (2008)
Mar. 4, 2008 to Mar. 7, 2008
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ARES.2008.159
In this paper, we discuss the use of formal requirements-engineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to represent two security goals for Grid systems, namely authorisation and single-sign on authentication. We apply goal-refinement to derive security requirements for these two security goals and we develop a model of anti-goals and show how system vulnerabilities and threats to the security goals can arise from such anti-models.
Security, Grid, Requirement Engineering
E. Y. Yang, J. Bicarregui, A. Arenas, B. Aziz and B. Matthews, "Modelling Security Properties in a Grid-based Operating System with Anti-Goals," 2008 Third International Conference on Availability, Reliability and Security(ARES), vol. 00, no. , pp. 1429-1436, 2008.