Formalisation and Implementation of the XACML Access Control Mechanism

Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi. Formalisation and Implementation of the XACML Access Control Mechanism. In Gilles Barthe, Benjamin Livshits, Riccardo Scandariato, editors, Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Volume 7159 of Lecture Notes in Computer Science, pages 60-74, Springer, 2012. [doi]

@inproceedings{MasiPT12-0,
  title = {Formalisation and Implementation of the XACML Access Control Mechanism},
  author = {Massimiliano Masi and Rosario Pugliese and Francesco Tiezzi},
  year = {2012},
  doi = {10.1007/978-3-642-28166-2_7},
  url = {http://dx.doi.org/10.1007/978-3-642-28166-2_7},
  researchr = {https://researchr.org/publication/MasiPT12-0},
  cites = {0},
  citedby = {0},
  pages = {60-74},
  booktitle = {Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings},
  editor = {Gilles Barthe and Benjamin Livshits and Riccardo Scandariato},
  volume = {7159},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28165-5},
}