Faculty Advisor

Dougherty, Daniel J.

Faculty Advisor

Martin, William J.

Abstract

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.

Publisher

Worcester Polytechnic Institute

Date Accepted

January 2007

Major

Mathematical Sciences

Major

Computer Science

Project Type

Major Qualifying Project

Accessibility

Restricted-WPI community only

Advisor Department

Computer Science

Advisor Department

Mathematical Sciences

Share

COinS