Index Catalog // Digital WPI

Start Over

Filtering by: Keyword static analysis Collections PhD Dissertations

Keyword:: firewalls, Security, static analysis, logic, scenarios, model finding, and configuration
Creator:: Nelson, Tim
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2013-04-25
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

Limit your search