An Integrated Security Verification and Security Solution Design Trade-Off Analysis Approach

An Integrated Security Verification and Security Solution Design Trade-Off Analysis Approach

[1]  William G. Griswold,et al.  Getting started with ASPECTJ , 2001, CACM.

[2]  Paul Clements,et al.  ATAM: Method for Architecture Evaluation , 2000 .

[3]  Yannis C. Stamatiou,et al.  Model-Based Risk Assessment in a Component-Based Software Engineering Process , 2003 .

[4]  David Wright,et al.  Towards Operational Measures of Computer Security , 1993, J. Comput. Secur..

[5]  A. Hasman,et al.  Probabilistic reasoning in intelligent systems: Networks of plausible inference , 1991 .

[6]  Siv Hilde Houmb,et al.  Decision Support for Choice of Security Solution: The Aspect-Oriented Risk Driven Development (AORDD)Framework , 2007 .

[7]  Jan Jürjens,et al.  Cost-benefit trade-off analysis using BBN for aspect-oriented risk-driven development , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[8]  B. A. Gran,et al.  Use of Bayesian Belief Networks when combining disparate sources of information in the safety assessment of software-based systems , 2002, Int. J. Syst. Sci..

[9]  T. Done,et al.  The use of Bayesian Belief networks to aid in the understanding and management of large-scale coral bleaching , 2003 .

[10]  Hany H. Ammar,et al.  Model-based risk assessment , 2006 .

[11]  Jan Jürjens,et al.  Dynamic secure aspect modeling with UML: from models to code , 2005, MoDELS'05.

[12]  Robert B. France,et al.  Model Composition Directives , 2004, UML.

[13]  Robert B. France,et al.  A UML-based pattern specification technique , 2004, IEEE Transactions on Software Engineering.

[14]  Rick Kazman,et al.  Making Architecture Design Decisions: An Economic Approach , 2002 .

[15]  Siv Hilde Houmb,et al.  Combining Disparate Information Sources when Quantifying Operational Security , 2005 .

[16]  Jan Jürjens,et al.  Secure systems development with UML , 2004 .

[17]  Brian Ritchie,et al.  Integrating Model-based Security Risk Management into eBusiness Systems Development: The CORAS Approach , 2002, I3E.

[18]  Elisa Baniassad,et al.  Aspect-Oriented Analysis and Design , 2005 .

[19]  Siobhán Clarke,et al.  Extending standard UML with model composition semantics , 2002, Sci. Comput. Program..

[20]  Finn Verner Jensen,et al.  Introduction to Bayesian Networks , 2008, Innovations in Bayesian Networks.

[21]  Geri Georg,et al.  Predicting Availability of Systems using BBN in Aspect-Oriented Risk-Driven Development (AORDD) , 2005 .

[22]  Elvinia Riccobene,et al.  Modeling the Dynamics of UML State Machines , 2000, Abstract State Machines.

[23]  Lionel C. Briand,et al.  Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems , 2005 .