Model checking for role-based access control

Griffel, Eric Michael; Sader, Paul M.

Student Work

Model checking for role-based access control

Public

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