TITLE     : Validation of access control systems
AUTHOR(S) : Bertolino A, Le Traon Y, Lonetti F, Marchetti E, Mouelhi T
TYPE      : Contribution to book
YEAR      : 2014
CODE      : 295713

*** DO NOT EDIT THIS FILE ***