TITLE     : A framework for the validation and testing of access control systems
AUTHOR(S) : Daoudagh S, Lonetti F, Marchetti E
TYPE      : Other
YEAR      : 2018
CODE      : 393107

*** DO NOT EDIT THIS FILE ***