arrow
Return

Security requirements engineering: A framework for representation and analysis

delete2008-01-01
delete257
PRE
AI
C
Charles B. Haley *
R
Robin Laney
J
Jonathan Moffett
B
Bashar Nuseibeh
DOI:10.1109/TSE.2007.70754delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requirements as constraints, and developing satisfaction arguments for the security requirements. The system context is described using a problem-oriented notation, then is validated against the security requirements through construction of a satisfaction argument. The satisfaction argument consists of two parts: a formal argument that the system can meet its security requirements and a structured informal argument supporting the assumptions expressed in the formal argument. The construction of the satisfaction argument may fail, revealing either that the security requirement cannot be satisfied in the context or that the context does not contain sufficient information to develop the argument. In this case, designers and architects are asked to provide additional, design information to resolve the problems. We evaluate the framework by applying it to a security requirements analysis within an air traffic control technology evaluation project.
Keywords:
requirements engineering
security engineering
security requirements
argumentation
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Software Engineering cover
IEEE Transactions on Software Engineering
IF:
5.6
Papers:
2.9K
Citations:
1.1W

Organization

O
open university - uk
Scholars:
4.1K
Papers: 4.3K
Citations: 2
Cited Papers

Cited Papers

Methods for measuring the citations and productivity of scientists across time and discipline
err2010-03-24
err0
errOAAI
errAlexander M. Petersen; Fengzhong Wang; H. Eugene Stanley
errShare
errSave
Demonstration of the X-ray imaging capabilities of the newly installed multilayer monochromator at SPring-8 BL20B2
err2022-12-01
err0
PREAI
errKentaro Uesugi; Masato Hoshino; Takahisa Koyama; Hiroshi Yamazaki; Yasunori Senba; Tomoyuki Takeuchi; Hirokatsu Yumoto; Haruhiko Ohashi; Junpei Yamada; Taito Osaka; Michiyasu Sugahara; Makina Yabashi
errShare
errSave
TELOS - REPRESENTING KNOWLEDGE ABOUT INFORMATION-SYSTEMS
err1990-10-01
err315
errOAAI
errMYLOPOULOS, J; BORGIDA, A; JARKE, M; KOUBARAKIS, M
errShare
errSave
Antibodies in plant science
err2015-04-22
err0
PREAI
errM. Dewey; D. Evans; J. Coleman; R. Priestley; R. Hull; D. Horsley; C. Hawes
errShare
errSave
err
IF0
err
err0
PREAI
err
errShare
errSave
errShare
errSave
researcher View more