Weiner, L. “Proof-Carrying Authorization in Distributed Systems With Beluga: A Case Study”. McGill Science Undergraduate Research Journal, vol. 8, no. 1, Mar. 2013, pp. 55-61, doi:10.26443/msurj.v8i1.112.