View of Proof-carrying authorization in distributed systems with Beluga: a case study | McGill Science Undergraduate Research Journal