Specification and Analysis of Dynamic Authorisation Policies

Moritz Y. Becker. Specification and Analysis of Dynamic Authorisation Policies. In Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009. pages 203-217, IEEE Computer Society, 2009. [doi]

@inproceedings{Becker09-4,
  title = {Specification and Analysis of Dynamic Authorisation Policies},
  author = {Moritz Y. Becker},
  year = {2009},
  doi = {10.1109/CSF.2009.14},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2009.14},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Becker09-4},
  cites = {0},
  citedby = {0},
  pages = {203-217},
  booktitle = {Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3712-2},
}