@InProceedings{KT10b,
 author= "R. Khoury and Nadia Tawbi",
 title = "Corrective Enforcement of Security Policies",
 booktitle = "proceedings of the The 7th International Workshop on Formal Aspects of Security \& Trust",
 year = 2010,
 month=sep
}