Now showing items 1-2 of 2
ACCOn: Checking Consistency of XML Write-Access Control Policies
XML access control policies involving updates may contain security flaws, here called inconsistencies, in which a forbidden operation may be simulated by performing a sequence of allowed operations. ACCOn implements i) ...
Nominal Logic Programming
(Association for Computing Machinery, 2008-08)
Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, α-equivalence). This article ...