@InProceedings{KT10a,
 author= "R. Khoury and Nadia Tawbi",
 title = "Using equivalence relations for corrective enforcement of security policies",
 booktitle = "proceedings of the  5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010,
Lecture Notes in Computer Science, volume 6258",
 year = 2010,
 month=sep
}