Elena Troubitsyna, Irum Rauf. Generating Cloud Monitors from Models to Secure Clouds. In 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018. pages 526-533, IEEE Computer Society, 2018. [doi]
Abstract is missing.