Verification and Change-Impact Analysis of Access-Control Policies∗ Kathi Fisler Shriram Krishnamurthi

First Page		Document Content
Date: 2005-04-29 09:42:28 Computer security Security Access control Computer access control XACML Binary decision diagram PERMIS Information flow Role-based access control Policy analysis Security-Enhanced Linux Model checking		Verification and Change-Impact Analysis of Access-Control Policies∗ Kathi Fisler Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Download Document from Source Website File Size: 174,80 KB Share Document on Facebook

	Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT DocID: 1voGj - View Document
	Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT DocID: 1tYAK - View Document
	2 SAML 2.0 profile of XACML v2.0 3 DocID: 1sUul - View Document
	Draft NISTIR 8112, Attribute Metadata DocID: 1rtQZ - View Document
	Information Visualization for Rule-based Resource Access Control Jaime Montemayor, Andrew Freeman, John Gersh, Thomas Llanso, Dennis Patrone The Johns Hopkins University Applied Physics LaboratoryJohns Hopkins Roa DocID: 1rtqe - View Document