@inproceedings{Biel-Mass-Mich-09-NordSec,
  author = {N. Bielova and F. Massacci and A. Micheletti},
  title = {Towards Practical Enforcement Theories},
  booktitle = {Proceedings of The 14th Nordic Conference on Secure IT Systems},
  year = {2009},
  series = {Lecture Notes in Computer Science},
  pages = {239--254},
  volume = {5838},
  publisher = {Springer-Verlag Heidelberg},
}