External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A verified algorithm for detecting conflicts in XACML access control rules

Michel St-Martin, Amy P. Felty. A verified algorithm for detecting conflicts in XACML access control rules. In Jeremy Avigad, Adam Chlipala, editors, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016. pages 166-175, ACM, 2016. [doi]

Authors

Michel St-Martin

This author has not been identified. Look up 'Michel St-Martin' in Google

Amy P. Felty

This author has not been identified. Look up 'Amy P. Felty' in Google
runs on