Publications



by Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose
Reference:
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose, From Formal Access Control Policies to Runtime Enforcement Aspects, In Proceedings of the 1st International Symposium on Engineering Secure Software and Systems (ESSoS), Springer, volume 5429, 2009.
Bibtex Entry:
@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}
}