Weiner, L. 2013. Proof-carrying authorization in distributed systems with Beluga: a case study. McGill Science Undergraduate Research Journal. 8, 1 (Mar. 2013), 55–61. DOI:https://doi.org/10.26443/msurj.v8i1.112.