An Authorization Model and Its Formal Semantics.

Elisa Bertino Francesco Buccafurri Elena Ferrari Pasquale Rullo An Authorization Model and Its Formal Semantics. 127-142 1998 conf/esorics/1998 ESORICS http://dx.doi.org/10.1007/BFb0055860 db/conf/esorics/esorics1998.html#BertinoBFR98