Validation of Access Control Systems

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]

Abstract

Abstract is missing.