Output details

From goal-driven security requirements engineering to secure design

<09>This paper presents the first framework to support successful transformation of elicited security requirements to design, based on integration of Goal-Driven Security Requirements Engineering (GDSRE) and Model-Based Security Engineering (MBSE). It demonstrates important novel features such as consideration of social and technical dimensions of security, and guidance towards a design that is amenable to formal verification by automated tools. The work was successfully applied to the evaluation of the Common Electronic Purse Specifications standard (released by Visa International and others) and it resulted in invited keynotes at WOSIS’11 and lectures at the Top SE Programme, National Institute of Informatics, Japan.