TY  - RPRT
TI  - Automated Certification of Authorisation Policy Resistance
AU  - Andreas Griesmayer
AU  - Charles Morisset
PY  - 2013
UR  - https://arxiv.org/abs/1306.4624
ID  - 1306.4624
ER  -