Checking Security Compliance between Models and Code

Katja Tuma, Sven Peldszus, Daniel Strüber +2

It is challenging to verify that the planned security mechanisms are actually implemented in the software. In the context of model-based development, the implemented security mecha…