Index Catalog // Digital WPI

Skip to Content

Home
Browse
About
- About Us
- Help

Login

Explore, Discover, Share

Advanced search

Search Constraints

Start Over

Filtering by: Contributor Dougherty, Daniel J. Remove constraint Contributor: Dougherty, Daniel J. Collections Masters Theses Remove constraint Collections: Masters Theses

1 - 7 of 7

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

Download search results to .CSV file

Search Results

A Coq Formalization of Unification Modulo Exclusive-Or

Creator:

Xu, Yichi

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2023-04-26

Resource Type:

Thesis

Degree:

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

Creator:

Veloz Baez, Freddy

Advisor:

Dougherty, Daniel J. and Shue, Craig A.

Publisher:

Worcester Polytechnic Institute

Date Created:

2022-04-27

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Keyword:

Formal verification, Alloy, Formal modeling, 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 (Department):

Computer Science
User Evaluation Framework for Model Finding Research

Keyword:

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

Creator:

Danas, Ryan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2016-08-31

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Multi-Decision Policy and Policy Combinator Specifications

Keyword:

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

Creator:

Giannakopoulos, Theophilos John

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-02-21

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
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 (Department):

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 (Department):

Computer Science

Limit your search

Collections

Masters Theses[remove]7

Year

Year range begin – Year range end

Current results range from 2007 to 2023

View distribution

Creator

Danas, Ryan1
Giannakopoulos, Theophilos John1
Mardziel, Piotr1
VanValkenburg, MaryAnn E.1
Veloz Baez, Freddy1
more Creators »

Advisor

Dougherty, Daniel J.7
Shue, Craig A.1

Contributor

Dougherty, Daniel J.[remove]7
Shue, Craig A.1

Unit (Department)

Computer Science6

Publisher

Worcester Polytechnic Institute7

Resource type

Thesis7

License

https://creativecommons.org/licenses/by/4.0/1

A service of Samvera.

Digital WPI v3.3.0

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