An access-control policy is a formal description of the privileges that users have on resources in a system. This project is an implementation of a technique for modeling the combination of a system and a role-based access control policy for the purpose of static analysis through verification.

• 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

• Griffel, Eric Michael
• Sader, Paul M.

Publisher

• Worcester Polytechnic Institute

Identifier

• 07D081M

Advisor

• Martin, William J.
• Dougherty, Daniel J.

Year

• 2007

Date created

• 2007-01-01

Resource type

• Major Qualifying Project

Major

• Computer Science
• Mathematical Sciences

Rights statement

• In Copyright