@misc{indiciae929aaf027716,
  title = {Belief Semantics of Authorization Logic},
  author = {Andrew K. Hirsch and Michael R. Clarkson},
  year = {2013},
  url = {https://arxiv.org/abs/1302.2123},
  note = {Source identifier: 1302.2123}
}