A Calculus for Flow-Limited Authorization.

Owen Arden Anitha Gollamudi Ethan Cecchetti Stephen Chong Andrew C. Myers

Published in: CoRR (2021)

Keyphrases

access control
fine grained
image segmentation
limited resources
data sets
databases
artificial intelligence
knowledge base
database systems
management system
security policies
automated deduction
flow patterns