Student Work

 

Model checking for role-based access control Public

Downloadable Content

open in viewer

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
Publisher
Identifier
  • 07D081M
Advisor
Year
  • 2007
Date created
  • 2007-01-01
Resource type
Major
Rights statement
License

Relationships

In Collection:

Items

Permanent link to this page: https://digital.wpi.edu/show/z029p776n