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