Antonia Bertolino, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi. Validation of Access Control Systems. In Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli, editors, Engineering Secure Future Internet Services and Systems - Current Research. Volume 8431 of Lecture Notes in Computer Science, pages 210-233, Springer, 2014. [doi]
@incollection{BertolinoTLMM14,
title = {Validation of Access Control Systems},
author = {Antonia Bertolino and Yves Le Traon and Francesca Lonetti and Eda Marchetti and Tejeddine Mouelhi},
year = {2014},
doi = {10.1007/978-3-319-07452-8_9},
url = {http://dx.doi.org/10.1007/978-3-319-07452-8_9},
researchr = {https://researchr.org/publication/BertolinoTLMM14},
cites = {0},
citedby = {0},
pages = {210-233},
booktitle = {Engineering Secure Future Internet Services and Systems - Current Research},
editor = {Maritta Heisel and Wouter Joosen and Javier Lopez and Fabio Martinelli},
volume = {8431},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-07451-1},
}