@article{Biel-Mass-11-JCS,
  author = {N. Bielova and F. Massacci},
  title = {Iterative Enforcement by Suppression: Towards Practical Enforcement Theories},
  journal = {Journal of Computer Security},
  year = {2012},
  volume = {20},
  number = {1},
  publisher = {IOS Press},
}