@article{abramsky2009game,
  title = "{Game Semantics for Access Control}",
  author = "Abramsky, S. and Jagadeesan, R.",
  year = "2009",
  issn = "1571-0661",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "135--156",
  publisher = "Elsevier",
  volume = "249",
}