TY  - RPRT
TI  - Checking and Enforcing Security through Opacity in Healthcare Applications
AU  - Rym Zrelli
AU  - Moez Yeddes
AU  - Nejib Ben Hadj-Alouane
PY  - 2017
UR  - https://arxiv.org/abs/1710.00011
ID  - 1710.00011
ER  -