@conference{springerlink:10.1007/978-3-642-19125-1_6, author = "N. Bielova and F. Massacci", booktitle = " Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS'11)", doi = "10.1007/978-3-642-19125-1_6", note = "PARTNER UNITN; PROJECT NESSoS; NO TIER; citations: 17", title = "{P}redictability of {E}nforcement", year = "2011", }