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]

Authors

Antonia Bertolino

This author has not been identified. Look up 'Antonia Bertolino' in Google

Yves Le Traon

This author has not been identified. It may be one of the following persons: Look up 'Yves Le Traon' in Google

Francesca Lonetti

This author has not been identified. Look up 'Francesca Lonetti' in Google

Eda Marchetti

This author has not been identified. Look up 'Eda Marchetti' in Google

Tejeddine Mouelhi

This author has not been identified. Look up 'Tejeddine Mouelhi' in Google