Login / Signup
On the Automated Analysis of Safety in Usage Control: A New Decidability Result.
Silvio Ranise
Alessandro Armando
Published in:
NSS (2012)
Keyphrases
</>
automated analysis
biomedical imaging
usage control
visual analysis
data mining
video sequences
access control
video analysis