Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline

Siwar Kriaa, Marc Bouissou, Frederic Colin, Yoran Halgand, Ludovic Pietre-Cambacedes. Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline. In Andrea Bondavalli, Felicita Di Giandomenico, editors, Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Volume 8666 of Lecture Notes in Computer Science, pages 326-341, Springer, 2014. [doi]

Authors

Siwar Kriaa

This author has not been identified. Look up 'Siwar Kriaa' in Google

Marc Bouissou

This author has not been identified. Look up 'Marc Bouissou' in Google

Frederic Colin

This author has not been identified. Look up 'Frederic Colin' in Google

Yoran Halgand

This author has not been identified. Look up 'Yoran Halgand' in Google

Ludovic Pietre-Cambacedes

This author has not been identified. Look up 'Ludovic Pietre-Cambacedes' in Google