ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
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
Contributors
A Arenas (STFC)
,
B Aziz (STFC)
,
J Bicarregui (STFC)
,
B Matthews (STFC)
,
E Yang (STFC)
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar