TY - RPRT TI - Expressiveness of a Provenance-Enabled Authorization Logic AU - Jinwei Hu PY - 2010 DO - 10.5121/ijmit.2010.2203 UR - https://arxiv.org/abs/1006.0880 ID - 1006.0880 ER -