An automated model-based test oracle for access control systems

Antonia Bertolino, Said Daoudagh, Francesca Lonetti +1

In the context of XACML-based access control systems, an intensive testing activity is among the most adopted means to assure that sensible information or resources are correctly a…