loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
Model-Based Argument Analysis for Evolving Security Requirements
Singapore, Singapore
June 09-June 11
ISBN: 978-0-7695-4086-3
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.
Index Terms:
Security argumentation, Requirements Engineering, Evolution, Event Calculus, OpenPF
Citation:
Thein Than Tun, Yijun Yu, Charles Haley, Bashar Nuseibeh, "Model-Based Argument Analysis for Evolving Security Requirements," ssiri, pp.88-97, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
Usage of this product signifies your acceptance of the Terms of Use.