Model-Driven Security with Modularity and Reusability for Secure Systems Development

Our work is contextualized in the field of automatic code generation for security analysis on communicating em- bedded systems. The choice of this type of system is justified on the

Because we propose an MDS development framework, SoSPa is built on a meta-model, which is extended from RAM meta- model. Our MDS framework allows selecting, refining, com-

They are collected, specified as reusable aspect models (RAM) [7] to form a coherent system of them. While not only specifying security patterns at the abstract level like in

This means that an agent owns not only its dataset, but also a Read Access History if it acts like a subject and a Conflict Function and a Dataset Actuality in the case it is

There is also lack of a complete tool chain (based on model transformations) to automate the derivation from MDS models to code. Following the advances in MDS, this research work

/ La version de cette publication peut être l’une des suivantes : la version prépublication de l’auteur, la version acceptée du manuscrit ou la version de l’éditeur. Access

Mahloojifar, “A low-complexity adaptive beamformer for ultrasound imaging using structured covariance matrix,” IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control

Elga briefly considers the possibility that agents with imprecise credences may still be rationally obliged to accept or refuse any particular bet. But this