Modeling and Machine-Checking Bump-in-the-Wire Security for Industrial Control Systems

von Sabraoui, Mehdi
Veröffentlicht in IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection (13. : 2019 : Arlington, Va.) Critical infrastructure protection XIII (2019)