Christopher Gerking, David Schubert, Eric Bodden. Model Checking the Information Flow Security of Real-Time Systems. In Mathias Payer, Awais Rashid, Jose M. Such, editors, Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings. Volume 10953 of Lecture Notes in Computer Science, pages 27-43, Springer, 2018. [doi]
Abstract is missing.