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

	NetAXS Web-based Access Control System Data Sheet DocID: 1xVj6 - View Document
	Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation Philipp Holzinger∗ , Ben Hermann† , Johannes Lerch† , Eric Bodden‡ and Mira Mezini† ∗ Fraunhofer SIT, Email: philipp.holzinger@sit DocID: 1xUqk - View Document
	Monotone Batch NP-Delegation with Applications to Access Control Zvika Brakerski∗ Yael Tauman Kalai† DocID: 1xUdf - View Document
	Extensible Access Control with Authorization Contracts Scott Moore Christos Dimoulas Robert Bruce Findler DocID: 1xU35 - View Document
	Validating SGAC Access Control Policies with Alloy and ProB Nghi Huynh, Marc Frappier, Amel Mammar and R´egine Laleau FA 2018, April 30th DocID: 1xTC8 - View Document