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]

Authors

Massimiliano Masi

This author has not been identified. Look up 'Massimiliano Masi' in Google

Rosario Pugliese

This author has not been identified. Look up 'Rosario Pugliese' in Google

Francesco Tiezzi

This author has not been identified. Look up 'Francesco Tiezzi' in Google