Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Dougherty, Daniel J.

« Previous | 31 - 35 of 35 | Next »

List Gallery Masonry Slideshow

First-Order Models for Configuration Analysis

Keyword:

static analysis, logic, firewalls, Security, model finding, scenarios, 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:

Computer Science
Multi-Decision Policy and Policy Combinator Specifications

Keyword:

specifications, policies, policy combinators, Access Control, formal methods, and Margrave

Creator:

Giannakopoulos, Theophilos John

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-02-21

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
Graph Decompositions and Monadic Second Order Logic

Keyword:

clique width, logic, tree decompositions, and Graph Theory

Creator:

Adler, Jonathan D

Advisor:

Dougherty, Daniel J. and Martin, William J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-04-27

Resource Type:

Report

Degree:

MS

Unit:

Mathematical Sciences
Noninterference in Concurrent Game Structures

Keyword:

Security, confidentiality, and noninterference

Creator:

Mardziel, Piotr

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2007-05-02

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
Formalization and Verification of Rewriting-Based Security Polices

Keyword:

Access Control, Maude, and term rewriting

Creator:

Veselinov, Roman Nikolov

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2008-04-30

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science