Student Work
Automatic verification of role based access control policies
PublicThis 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.
- This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.
- Creator
- Publisher
- Identifier
- 04D006M
- Advisor
- Year
- 2004
- Date created
- 2004-01-01
- Resource type
- Major
- Rights statement
Relations
- In Collection:
Items
Permanent link to this page: https://digital.wpi.edu/show/c821gn78h