@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 = {2011},
  note = {To appear.}
}