Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille. SysML Model Transformation for Safety and Security Analysis. In Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquín García-Alfaro, editors, Security and Safety Interplay of Intelligent Software Systems - ESORICS 2018 International Workshops, ISSA/CSITS@ESORICS 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers. Volume 11552 of Lecture Notes in Computer Science, pages 35-49, Springer, 2018. [doi]
Abstract is missing.