Efficient static checking of dynamic access control in shared multiprocessor environments.

Published in: CTS (2007)

Keyphrases

real world
access control
dynamic access control
real time
decision making
website
case study
similarity measure
optimal solution
search algorithm
multi agent systems
dynamic environments
computationally efficient