Checking and Enforcing Security Through Opacity in Healthcare Applications.

Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane

Browse the full ICSOC paper archive.