loading...
Modelling Security Properties in a Grid-based Operating System with Anti-Goals
March 04-March 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ARES.2008.1592008 Third International Conference o ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang, "Modelling Security Properties in a Grid-based Operating System with Anti-Goals," Availability, Reliability and Security, International Conference on, pp. 1429-1436, 2008 Third International Conference on Availability, Reliability and Security, 2008.
 
 
BibTex
x
 
@article{ 10.1109/ARES.2008.159,
author = {Alvaro Arenas and Benjamin Aziz and Juan Bicarregui and Brian Matthews and Erica Y. Yang},
title = {Modelling Security Properties in a Grid-based Operating System with Anti-Goals},
journal ={Availability, Reliability and Security, International Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3102-1},
pages = {1429-1436},
doi = {http://doi.ieeecomputersociety.org/10.1109/ARES.2008.159},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Availability, Reliability and Security, International Conference on
TI - Modelling Security Properties in a Grid-based Operating System with Anti-Goals
SN - 978-0-7695-3102-1
SP1429
EP1436
A1 - Alvaro Arenas,
A1 - Benjamin Aziz,
A1 - Juan Bicarregui,
A1 - Brian Matthews,
A1 - Erica Y. Yang,
PY - 2008
KW - Security
KW - Grid
KW - Requirement Engineering
VL - 0
JA - Availability, Reliability and Security, International Conference on
ER -
 
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:
Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang, "Modelling Security Properties in a Grid-based Operating System with Anti-Goals," ares, pp.1429-1436, 2008 Third International Conference on Availability, Reliability and Security, 2008
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions