Limin Jia Jeffrey A. Vaughan Karl Mazurak Jianzhou Zhao Luke Zarko Joseph Schorr Steve Zdancewic AURA: a programming language for authorization and audit. 27-38 2008 ICFP http://doi.acm.org/10.1145/1411204.1411212 conf/icfp/2008 db/conf/icfp/icfp2008.html#JiaVMZZSZ08