. . . "Worcester Polytechnic Institute" . . "2007" . "http://rightsstatements.org/vocab/InC/1.0/" . "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." . . "Martin, William J." . "Dougherty, Daniel J." . "StudentWork" . "2021-09-16T12:35:51.778794588-04:00"^^ . "07D081M" . "depositor@wpi.edu" . . "Griffel, Eric Michael" . "Sader, Paul M." . "2007-01-01" . . "Model checking for role-based access control" . "Major Qualifying Project" . "Computer Science" . "Mathematical Sciences" . . "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." . . "ActiveFedora::Aggregation::ListSource" . . . . .