L. Weiner, “Proof-carrying authorization in distributed systems with Beluga: a case study”, MSURJ, vol. 8, no. 1, pp. 55–61, Mar. 2013.