SysML Model Transformation for Safety and Security Analysis.

Raba Ameur-Boulifa, Florian Lugou, Ludovic Apvrille

Browse the full ESORICS paper archive.