Reda Shbib, Shikun Zhou, Khalil Alkadhimi. SCADA System Security, Complexity, and Security Proof. In Qiaohong Zu, Bo Hu, Atilla Elçi, editors, Pervasive Computing and the Networked World - Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers. Volume 7719 of Lecture Notes in Computer Science, pages 405-410, Springer, 2012. [doi]
Abstract is missing.