The Community for Technology Leaders
2008 Third International Conference on Availability, Reliability and Security (2008)
Mar. 4, 2008 to Mar. 7, 2008
ISBN: 978-0-7695-3102-1
pp: 1429-1436
ABSTRACT
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.
INDEX TERMS
Security, Grid, Requirement Engineering
CITATION

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.
doi:10.1109/ARES.2008.159
86 ms
(Ver 3.3 (11022016))