Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per Hallgren. Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. In Frank Piessens, Juan Caballero, Nataliia Bielova, editors, Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings. Volume 8978 of Lecture Notes in Computer Science, pages 34-42, Springer, 2015. [doi]
Abstract is missing.