Index Catalog // Digital WPI

Skip to Content

Digitalwpilogo 2019

Home
Browse
- Browse by Collection
- Browse by Project Center
About
Help

Explore, Discover, Share

Search Constraints

Start Over

Filtering by: Advisor Dougherty, Daniel J. Remove constraint Advisor: Dougherty, Daniel J. Unit Computer Science Remove constraint Unit: Computer Science

1 - 8 of 8

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases

Creator:

Veloz Baez, Freddy

Advisor:

Dougherty, Daniel J. and Shue, Craig

Publisher:

Worcester Polytechnic Institute

Date Created:

2022-04-27

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Keyword:

Formal verification, Formal modeling, Alloy, and Cooperative autonomous driving (CAD)

Creator:

VanValkenburg, MaryAnn E.

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2020-05-18

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
User Evaluation Framework for Model Finding Research

Keyword:

user studies, model finding, user evaluation, logic, Verification, Case Studies, formal methods, and model finders

Creator:

Danas, Ryan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2016-08-31

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
A Framework for Exploring Finite Models

Keyword:

Geometric Logic, Aluminum, Chase, Razor, finite model-finding, exploration, first-order logic, and provenance information

Creator:

Saghafi, Salman

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2015-04-30

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
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:

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

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
Noninterference in Concurrent Game Structures

Keyword:

noninterference, confidentiality, and Security

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, term rewriting, and Maude

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

Limit your search

Collections

Masters Theses6
PhD Dissertations2

Year

20071
20081
20121
20131
20151
more Years »

Creator

Danas, Ryan1
Giannakopoulos, Theophilos John1
Mardziel, Piotr1
Nelson, Tim1
Saghafi, Salman1
more Creators »

Advisor

Dougherty, Daniel J.[remove]8
Fisler, Kathryn1
Shue, Craig1

Contributor

Dougherty, Daniel1
Dougherty, Daniel J.7
Fisler, Kathryn1
Guttman, Joshua2
Heineman, George T.1
more Contributors »

Unit

Computer Science[remove]8

Publisher

Worcester Polytechnic Institute8

Resource type

Thesis6
Dissertation2

A service of Samvera.

Digital WPI v2.5.0

Switch language English
- Switch language
- Deutsch
- English
- Español
- Français
- Italiano
- Português do Brasil
- 中文
Login

Copyright © 2018 Samvera Licensed under the Apache License, Version 2.0