Compositional Typed Analysis of ARBAC Policies.

Stefano Calzavara Alvise Rabitti Michele Bugliesi

Published in: CSF (2015)

Keyphrases

automatic analysis
machine learning
data sets
databases
multimedia
three dimensional
user interface
image analysis
optimal policy