@inproceedings{Biel-Mass-11-POLICY,
  author = {N. Bielova and F. Massacci},
  title = {Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies},
  booktitle = {Proceedings of the International Symposium on Policies for Distributed Systems and Networks (POLICY'11)},
  year = {2011},
  publisher = {IEEE Computer Society Press},
  pages = {89--96},
 }