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

ARES 2008 - 3rd International Conference on Availability, Security, and Reliability, Proceedings

Volumn , Issue , 2008, Pages 1429-1436

  Arenas, Alvaro ^a   Aziz, Benjamin ^a   Bicarregui, Juan ^a   Matthews, Brian ^a   Yang, Erica Y ^a  

^a RUTHERFORD APPLETON LABORATORY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

TECHNOLOGY;

ENGINEERING TECHNIQUES; GRID SYSTEMS; INTERNATIONAL CONFERENCES; OPERATING SYSTEMS; SECURITY GOALS; SECURITY PROPERTIES; SECURITY REQUIREMENTS; SINGLE-SIGN-ON;

COMPUTER OPERATING SYSTEMS;

EID: 49049111838     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2008.159     Document Type: Conference Paper

References (14)

1. G. Dallons, P. Massonet, J. F. Molderez, C. Ponsard, and A. E. Arenas. An Analysis of the Chinese Wall Pattern for Guaranteeing Confidentiality in Grid-Based Virtual Organisations. In International Workshop on Security, Trust and Privacy in Grid Systems, Grid-STP 2007. IEEE, 2007.
2. A. Fuxman, L. Liu, J. Mylopoulos, M. Pistore, M. Roveri, and P. Traverso. Specifying and Analyzing Early Requirements in Tropos. Requirements Eng., 9(2): 132-150, 2004.
3. A. Gaeta, M. Gaeta, I. Djordjevic, A. Smith, T. Dimitrakos, M. Colombo, and S. Miranda. Design Patterns for Secure Virtual Organization Management Architecture. In International Workshop on Security, Trust and Privacy in Grid Systems, Grid-STP 2007. IEEE, 2007.
4. P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone. Requirements Engineering for Trust Management: Model, Methodology, and Reasoning. Journal of Information Security, 5(4):257-274, 2006.
5. J. Jensen, D. Spence, and M. Viljoen. Grid Single Sign-On in CCLRC. In Proceedings of the UK e-Science All Hands Meeting 2006 (AHM2006), Nottingham, UK, Sept. 2006.
6. J. Jurjens. Secure Systems Development with UML. Springer-Verlag, 2004.
7. A. D. Lakhani, E. Yang, B. Matthews, I. Johnson, S. Naqvi, and G. C. Silaghi. Threat Analysis and Attacks on XtreemOS: A Grid-Enabled Operating System. In Toward Next Generation Grids, Proceedings of the CoreGRID Symposium 2007. Springer, 2007.
8. C. Morin. XtreemOS: A Grid Operating Sytem Making your Computer Ready for Participating in Virtual Organizations. In 10th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2007). IEEE, 2007.
9. C. Ponsard, P. Massonet, J. F. Molderez, A. Rifaut, A. van Lamsweerde, and H. T. Van. Early Verification and Validation of Mission Critical Systems. Journal of Formal Methods in System Design, 30(3), 2007.
10. G. Sindre and A. L. Opdahl. Eliciting Security Requirements with Misuse Cases. Requirements Engineering, 10(1):34-44, 2005.
11. A. van Lamsweerde. Requirements Engineering in the Year 00: A Research Perspective. In International Conference on Software Engineering, pages 5-19, 2000.
12. A. van Lamsweerde. Elaborating Security Requirements by Construction of Intentional Anti-Models. In 26th ACM-IEEE International Conference on Software Engineering (ICSE'04), pages 148-157. IEEE Press, 2004.
13. A. van Lamsweerde and E. Letier. Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Transactions on Software Engineering, 26(10):978-1005, 2000.
14. XtreemOS. XtreemOS Deliverable D3.5.2: Security Requirements for a Grid-based OS, 2007.