The open archive for STFC research publications

ePubs will be undergoing scheduled maintenance on 19/06/2024 between 10:00-12:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/42165
Record Status Checked
Record Id 42165
Title Modelling Security Properties in a Grid-Based Operating System with Anti-Goals
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.
Organisation ESC , ESC-IM , STFC
Keywords Grids , Requirement Engineering , Security , Engineering
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings IEEE Computer Society. Is in proceedings of: Symposium on Requirements Engineering for Information Security (SRIES 2008), Barcelona, Spain, March 2008. doi:10.1109/ARES.2008.159 aziz-securityGrid.pdf 2008