@misc{indiciaef46ca690ed00,
  title = {Checking and Enforcing Security through Opacity in Healthcare Applications},
  author = {Rym Zrelli and Moez Yeddes and Nejib Ben Hadj-Alouane},
  year = {2017},
  url = {https://arxiv.org/abs/1710.00011},
  note = {Source identifier: 1710.00011}
}