@INPROCEEDINGS{KallelESSoS09,
author = {Slim Kallel and Anis Charfi and Mira Mezini and Mohamed Jmaiel and Karl Klose},
title = {{From Formal Access Control Policies to Runtime Enforcement
Aspects}},
booktitle = {Proceedings of the 1st International Symposium on
Engineering Secure Software and Systems (ESSoS)},
year = {2009},
volume = {5429},
series = {Lecture Notes on Computer Science},
pages = {16--31},
address = {Leuven, Belguim},
month = {Fevrier},
publisher = {Springer},
keywords  = {Formal},
doi = {10.1007/978-3-642-00199-4_2}
}