A linear concurrent constraint approach for the automatic verification of access permissions.

Carlos Olarte Elaine Pimentel Camilo Rueda Néstor Cataño

Published in: PPDP (2012)

Keyphrases

access control
linear constraints
role based access control
closed form
linear inequalities
linear systems
access control models
databases
neural network
genetic algorithm
fine grained
information access
constraint networks
access control policies
read write