TY  - RPRT
TI  - Verification of agent knowledge in dynamic access control policies
AU  - Masoud Koleini
AU  - Eike Ritter
AU  - Mark Ryan
PY  - 2014
UR  - https://arxiv.org/abs/1401.4730
ID  - 1401.4730
ER  -