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]
Abstract is missing.