Index Catalog // Digital WPI

Start Over

Filtering by: Creator Nelson, Timothy Collections Masters Theses

1. Margrave: An Improved Analyzer for Access-Control and Configuration Policies

Keyword:: finite model property, firewalls, applied logic, and Access Control
Creator:: Nelson, Timothy
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2010-04-13
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science