Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Dougherty, Daniel J. Creator Sader, Paul M.

Model checking for role-based access control

Creator:

Griffel, Eric Michael and Sader, Paul M.

Advisor:

Martin, William J. and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2007-01-01

Resource Type:

Major Qualifying Project