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 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Paper Session MOMO at D2.13
09:00
15m
Day opening
Welcome & Introduction
MOMO
O: Gunter Mussbacher McGill University, Canada, O: Sébastien Mosser Université Côte d'Azur, France
09:15
25m
Talk
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
25m
Talk
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
25m
Talk
Weaving Rules into Models@run.time for Embedded Smart Systems
MOMO