An Authorization Model and Its Formal Semantics.

Elisa Bertino Francesco Buccafurri Elena Ferrari Pasquale Rullo

Published in: ESORICS (1998)

Keyphrases

formal semantics
high level
modelling language
databases
machine learning
artificial intelligence
probabilistic model
access control
conceptual model
logical reasoning