Weiner, L. Proof-Carrying Authorization in Distributed Systems With Beluga: A Case Study. MSURJ 2013, 8, 55-61.