TY  - RPRT
TI  - A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies
AU  - Andrea Margheri
AU  - Massimiliano Masi
AU  - Rosario Pugliese
AU  - Francesco Tiezzi
PY  - 2016
UR  - https://arxiv.org/abs/1612.09339
ID  - 1612.09339
ER  -