Advances in Model-Driven Security
Levi Lúcioa, Qin Zhangb, Phu H. Nguyenb, Moussa Amranib, Jacques Kleinb, Hans Vangheluwea, c and Yves Le Traonb, 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
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. ...