Alapan Arnab Andrew Hutchison Persistent access control: a formal model for DRM. 41-53 2007 conf/drm/2007 Digital Rights Management Workshop http://doi.acm.org/10.1145/1314276.1314286 db/conf/drm/drm2007.html#ArnabH07