%0 Conference Paper %F Oral %T Method and framework for security risks analysis guided by safety criteria %+ Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)) %+ Université Paris-Saclay %+ Trialog [Paris] %A Pedroza, Gabriel %A Mockly, Guillaume %Z Part of the work presented in this paper was conducted in the scope of the project ModSécAéro partially funded by thre French RAPID programme. RAPID (régime d’appui à l’innovation duale). https://www.defense.gouv.fr/aid/deposez-vos-projets/subventions/rapid %< avec comité de lecture %B MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems %C Virtual Event Canada, Canada %I ACM %P 1-8 %8 2020-10-18 %D 2020 %R 10.1145/3417990.3420047 %Z Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE] %Z Computer Science [cs]/Computer Aided Engineering %Z Computer Science [cs]/Software Engineering [cs.SE] %Z Computer Science [cs]/Modeling and SimulationConference papers %G English %2 https://cea.hal.science/cea-03308209/document %2 https://cea.hal.science/cea-03308209/file/PedrozaModels2020_3417990.3420047.pdf %L cea-03308209 %U https://cea.hal.science/cea-03308209 %~ CEA %~ DSV %~ DRT %~ CEA-UPSAY %~ TDS-MACS %~ UNIV-PARIS-SACLAY %~ CEA-DRF %~ LIST %~ UNIVERSITE-PARIS-SACLAY %~ GS-ENGINEERING %~ GS-COMPUTER-SCIENCE