Distributed Authorization with Distributed Grammars. - Martín Abadi; Mike Burrows; Himabindu Pucha; Adam Sadovsky; Asim Shankar; Ankur Taly (Programming Languages with Applications to Biology and Security, 2015)