research
∙
09/08/2018
An automated model-based test oracle for access control systems
In the context of XACML-based access control systems, an intensive testi...
research
∙
09/07/2018