The Open UniversitySkip to content
 

Model-Based argument analysis for evolving security requirements

Tun, Thein Than; Yu, Yijun; Haley, C. and Nuseibeh, B. (2010). Model-Based argument analysis for evolving security requirements. In: Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, 9-11 September 2010, Singapore, IEEE, pp. 88–97.

Full text available as:
Full text not publicly available
Due to copyright restrictions, this file is not available for public download
Click here to request a copy from the OU Author.
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1109/SSIRI.2010.36
Google Scholar: Look up in Google Scholar

Abstract

Software systems are made to evolve in response to changes in their contexts and requirements. As the systems evolve, security concerns need to be analysed in order to evaluate the impact of changes on the systems. We propose to investigate such changes by applying a meta-model of evolving security requirements, which draws on requirements engineering approaches, security analysis, argumentation and software evolution. In this paper, we show how the meta-model can be instantiated using a formalism of temporal logic, called the Event Calculus. The main contribution is a model based approach to argument analysis, supported by a tool which generates templates for formal descriptions of the evolving system. We apply our approach to several examples from an Air Traffic Management case study.

Item Type: Conference Item
Copyright Holders: 2010 IEEE
ISBN: 1-4244-7435-3, 978-1-4244-7435-6
Project Funding Details:
Funded Project NameProject IDFunding Body
SecureChangeNot SetEuropean Union
Keywords: security argumentation; requirements engineering; evolution; event calculus; OpenPF
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 24121
Depositing User: Yijun Yu
Date Deposited: 27 Oct 2010 10:32
Last Modified: 03 Aug 2013 10:51
URI: http://oro.open.ac.uk/id/eprint/24121
Share this page:

Altmetrics

Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk