@inproceedings{Biel-Mass-11-ESSoS,
  author = {N. Bielova and F. Massacci},
  title = {Predictability of Enforcement},
  booktitle = {Proceedings of the International Symposium on Engineering Secure Software and Systems 2011},
  year = {2011},
  volume    = {6542},
  pages = {73--86},
  publisher = {Springer},
}