@article{KhouryEquivEnforce,
  author    = {Raphael Khoury and
               Nadia Tawbi},
  title     = {Equivalence-preserving corrective enforcement of security properties},
  journal   = {International Journal of Information and Computer Security},
  volume    = {7},
  number    = {2/3/4},
  year      = {2015},
  pages     = {113 - 139},
  ee        = {10.1504/IJICS.2015.073011}
}