2012 20th IEEE International Requirements Engineering Conference (RE) (2012)
Chicago, IL, USA USA
Sept. 24, 2012 to Sept. 28, 2012
Mazeiar Salehie , Lero- Irish Software Engineering Research Centre, Limerick, Ireland
Liliana Pasquale , Lero- Irish Software Engineering Research Centre, Limerick, Ireland
Inah Omoronyia , Lero- Irish Software Engineering Research Centre, Limerick, Ireland
Raian Ali , School of Design, Engineering and Computing, Bournemouth University, Bournemouth, UK
Bashar Nuseibeh , Lero- Irish Software Engineering Research Centre, Limerick, Ireland
Security is primarily concerned with protecting assets from harm. Identifying and evaluating assets are therefore key activities in any security engineering process — from modeling threats and attacks, discovering existing vulnerabilities, to selecting appropriate countermeasures. However, despite their crucial role, assets are often neglected during the development of secure software systems. Indeed, many systems are designed with fixed security boundaries and assumptions, without the possibility to adapt when assets change unexpectedly, new threats arise, or undiscovered vulnerabilities are revealed. To handle such changes, systems must be capable of dynamically enabling different security countermeasures. This paper promotes assets as first-class entities in engineering secure software systems. An asset model is related to requirements, expressed through a goal model, and the objectives of an attacker, expressed through a threat model. These models are then used as input to build a causal network to analyze system security in different situations, and to enable, when necessary, a set of countermeasures to mitigate security threats. The causal network is conceived as a runtime entity that tracks relevant changes that may arise at runtime, and enables a new set of countermeasures. We illustrate and evaluate our proposed approach by applying it to a substantive example concerned with security of mobile phones.
Causal reasoning, Security requirements, Adaptation
M. Salehie, L. Pasquale, I. Omoronyia, R. Ali and B. Nuseibeh, "Requirements-driven adaptive security: Protecting variable assets at runtime," 2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA USA, 2012, pp. 111-120.