@misc{indiciaedf225328024d,
  title = {A Typed Model for Dynamic Authorizations},
  author = {Silvia Ghilezan and Svetlana Jakšić and Jovanka Pantović and Jorge A. Pérez and Hugo Torres Vieira},
  year = {2016},
  doi = {10.4204/eptcs.203.6},
  url = {https://arxiv.org/abs/1602.03596},
  note = {Source identifier: 1602.03596}
}