Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study

Anas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel. Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. In Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Volume 9923 of Lecture Notes in Computer Science, pages 375-389, Springer, 2016. [doi]

Authors

Anas Motii

This author has not been identified. Look up 'Anas Motii' in Google

Agnes Lanusse

This author has not been identified. Look up 'Agnes Lanusse' in Google

Brahim Hamid

This author has not been identified. It may be one of the following persons: Look up 'Brahim Hamid' in Google

Jean-Michel Bruel

This author has not been identified. Look up 'Jean-Michel Bruel' in Google