A framework for linear authorization logics.

Published in: Theor. Comput. Sci. (2014)

Keyphrases

main contribution
fine grained
access control
modal logic
conceptual framework
probabilistic model
classical logic