Modelling security properties in a grid-based operating system with anti-goals

A. Arenas, Benjamin Aziz, J. Bicarregui, B. Matthews, E. Yang

Research output: Contribution to conferencePaperpeer-review

60 Downloads (Pure)

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 antigoals and show how system vulnerabilities and threats to the security goals can arise from such anti-models.
Original languageEnglish
Pages1429-1436
Number of pages8
DOIs
Publication statusPublished - Mar 2008
EventSymposium on Requirements Engineering for Information Security - Barcelona, Spain
Duration: 1 Mar 2008 → …

Conference

ConferenceSymposium on Requirements Engineering for Information Security
Abbreviated titleSRIES 2008
Country/TerritorySpain
CityBarcelona
Period1/03/08 → …

Fingerprint

Dive into the research topics of 'Modelling security properties in a grid-based operating system with anti-goals'. Together they form a unique fingerprint.

Cite this