Weiner L. Proof-carrying authorization in distributed systems with Beluga: a case study. MSURJ [Internet]. 2013 Mar. 31 [cited 2024 Jul. 3];8(1):55-61. Available from: https://msurjonline.mcgill.ca/article/view/112