This report details the implementation of a program that translates access control policies written in XACML to the modeling language Alloy. This allows the policies to be modeled and checked for consistency by automated tools. This report briefly examines XML parsing methods and the Alloy modeling language and explains the implementation of the translator and potential directions for its future development.
Worcester Polytechnic Institute
Major Qualifying Project
Access to this report is limited to members of the WPI community. Please contact a project advisor or their department to request access
Restricted-WPI community only