Advances in Computers

Chapter 3

Advances in Model-Driven Security

Levi Lúcio^a, Qin Zhang^b, Phu H. Nguyen^b, Moussa Amrani^b, Jacques Klein^b, Hans Vangheluwe^{a, c} and Yves Le Traon^b,    ^aModeling Simulation and Design Lab, McGill University, Montreal, QC, Canada, ^bCentre for Security Reliability and Trust, University of Luxembourg, Luxembourg, ^cAntwerp Systems and Software Modeling, University of Antwerp, Antwerp, Belgium

Abstract

Sound methodologies for constructing security-critical systems are extremely important in order to confront the increasingly varied security threats. As a response to this need, Model-Driven Security has emerged in the early 2000s as a specialized Model-Driven Engineering approach for supporting the development of security-critical systems. ...