Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen. Security analysis of cloud-connected industrial control systems using combinatorial testing. In Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo, editors, Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM, 2019. [doi]
Abstract is missing.