‹Programming› 2017 (series) / MOMO 2017 (series) / MOMO 2017 /
A Modular Meta-model for Security Solutions
Mon 3 Apr 2017 09:40 - 10:05 at D2.13 - Paper Session
Designing a secure software system requires the ability to represent and reason about a wide variety of security concerns. Existing modelling representations lack a comprehensive set of security building blocks or lack support for composition or refinement of the design under consideration. We propose a new modular meta-model for representing these security designs. This model supports both composition for more complex solutions and representing different levels of abstraction to model the underlying details. This meta-model can subsequently be used for the construction of security solutions, supporting a wide range of mechanisms on a wide variety of abstraction levels, thereby providing a foundation for the security-by-design approach.
Mon 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome & Introduction MOMO | ||
09:15 25mTalk | An MDE Approach for Modular Program Analyses MOMO A: Bugra Mehmet Yildiz , A: Christoph Bockisch Philipps-Universität Marburg, A: Arend Rensink , A: Mehmet Aksit University of Twente | ||
09:40 25mTalk | A Modular Meta-model for Security Solutions MOMO A: Laurens Sion , A: Koen Yskout , A: Riccardo Scandariato , A: Wouter Joosen Katholieke Universiteit Leuven | ||
10:05 25mTalk | Weaving Rules into Models@run.time for Embedded Smart Systems MOMO A: Ludovic Mouline , A: Thomas Hartmann , A: François Fouquet , A: Johan Bourcier , A: Olivier Barais , A: Yves Le Traon University of Luxembourg |