AURA: a programming language for authorization and audit. - Limin Jia 001; Jeffrey A. Vaughan; Karl Mazurak; Jianzhou Zhao; Luke Zarko; Joseph Schorr; Steve Zdancewic (ICFP, 2008)