Model-Based Security Analysis of Interconnected Subsystems: A Methodology for Security Compatibility Evaluation.

Mohamed Abdelsalam, Isaac Mpidi Bita, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier

Browse the full PST paper archive.