@article{Massacci,Bielova,
author = "Fabio Massacci and Natalia Bielova",
journal = "Journal of Computer Security",
note = "partner: UNITN; project: EU-ICT-IP-MASTER, EU-FET-IP-SecureChange, EU-FP7-IST-NoE-NESSOS ; citations: 3; No impact factor",
title = "{I}terative {E}nforcement by {S}uppression: {T}owards {P}ractical {E}nforcement {T}heories. {J}ournal of {C}omputer {S}ecurity ({JCS})",
year = "2011",
}