Automated Symbolic Analysis of ARBAC-Policies.

Alessandro Armando Silvio Ranise

Published in: STM (2010)

Keyphrases

automated analysis
database
neural network
decision trees
statistical analysis
manual inspection
databases
image analysis
dynamic programming
medical images
semi automatic