Xinwen Zhang Jaehong Park Francesco Parisi-Presicce Ravi S. Sandhu A logical specification for usage control. 1-10 2004 conf/sacmat/2004 SACMAT http://doi.acm.org/10.1145/990036.990038 db/conf/sacmat/sacmat2004.html#ZhangPPS04