@inproceedings{Biel-Mass-08-FAST,
  author = {N. Bielova and F. Massacci},
  title = {Do you really mean what you actually enforced?},
  booktitle = {Proceedings of the 5th International Workshop on Formal Aspects in Security and Trust},
  year = {2008},
  pages = {287--301},
  volume = {5491},
  publisher = {Springer-Verlag Heidelberg},
}