An automated model-based test oracle for access control systems.

Antonia Bertolino Said Daoudagh Francesca Lonetti Eda Marchetti

Published in: AST@ICSE (2018)

Keyphrases

access control systems
database
security policies
data mining
database systems
operating system
oracle database
access control policies