Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane. Checking and Enforcing Security Through Opacity in Healthcare Applications. In Lars Braubach, Juan Manuel Murillo, Nima Kaviani, Manuel Lama, Loli Burgueño, Naouel Moha, Marc Oriol, editors, Service-Oriented Computing - ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, Revised Selected Papers. Volume 10797 of Lecture Notes in Computer Science, pages 161-173, Springer, 2017. [doi]
Abstract is missing.