Skip to content

A verified algorithm for detecting conflicts in XACML access control rules.

Michel St-Martin, Amy P. Felty

VenueBCPP
Year2016
ProceedingsCPP

Browse the full CPP paper archive.