Faculty Advisor

Fisler, Kathryn.

Abstract

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.

Publisher

Worcester Polytechnic Institute

Date Accepted

January 2004

Major

Computer Science

Project Type

Major Qualifying Project

Accessibility

Restricted-WPI community only

Advisor Department

Computer Science

Advisor Program

Computer Science

Share

COinS