Index Catalog // Hyrax

Skip to Content

Página Principal
Browse
About
- About Us
- Help

Entrar

Explore, Discover, Share

Advanced search

Busca

Remover filtros

Filtragem por: Advisor Dougherty, Daniel J. Remover Advisor: Dougherty, Daniel J. Contributor Dougherty, Daniel J. Remover Contributor: Dougherty, Daniel J.

1 - 10 de 10

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

Número de resultados para mostrar por página

10 por página
20 por página
50 por página
100 por página

Ver resultados como:

Lista Gallery Masonry Slideshow

Download search results to .CSV file

Resultados da Busca

A Coq Formalization of Unification Modulo Exclusive-Or

O Criador:

Xu, Yichi

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Data Criada:

2023-04-26

Resource Type:

Thesis

Degree:

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

O Criador:

Veloz Baez, Freddy

Advisor:

Dougherty, Daniel J. and Shue, Craig A.

Editor:

Worcester Polytechnic Institute

Data Criada:

2022-04-27

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Palavra-chave:

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

O Criador:

VanValkenburg, MaryAnn E.

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Data Criada:

2020-05-18

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
User Evaluation Framework for Model Finding Research

Palavra-chave:

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

O Criador:

Danas, Ryan

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Data Criada:

2016-08-31

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
A Framework for Exploring Finite Models

Palavra-chave:

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

O Criador:

Saghafi, Salman

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Data Criada:

2015-04-30

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
First-Order Models for Configuration Analysis

Palavra-chave:

firewalls, Security, static analysis, logic, scenarios, model finding, and configuration

O Criador:

Nelson, Tim

Advisor:

Dougherty, Daniel J. and Fisler, Kathryn

Editor:

Worcester Polytechnic Institute

Data Criada:

2013-04-25

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
Multi-Decision Policy and Policy Combinator Specifications

Palavra-chave:

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

O Criador:

Giannakopoulos, Theophilos John

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Data Criada:

2012-02-21

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Graph Decompositions and Monadic Second Order Logic

Palavra-chave:

clique width, Graph Theory, logic, and tree decompositions

O Criador:

Adler, Jonathan D

Advisor:

Dougherty, Daniel J. and Martin, William J.

Editor:

Worcester Polytechnic Institute

Data Criada:

2009-04-27

Resource Type:

Report

Degree:

MS

Unit (Department):

Mathematical Sciences
Noninterference in Concurrent Game Structures

Palavra-chave:

Security, confidentiality, and noninterference

O Criador:

Mardziel, Piotr

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Data Criada:

2007-05-02

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Formalization and Verification of Rewriting-Based Security Polices

Palavra-chave:

Access Control, Maude, and term rewriting

O Criador:

Veselinov, Roman Nikolov

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Data Criada:

2008-04-30

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science

Filtre sua busca

Collections

Masters Theses7
PhD Dissertations2
Masters Reports1

Year

Year range begin – Year range end

Current results range from 2007 to 2023

View distribution

O Criador

Adler, Jonathan D1
Danas, Ryan1
Giannakopoulos, Theophilos John1
Mardziel, Piotr1
Nelson, Tim1
mais O Criadors »

Advisor

Dougherty, Daniel J.[remove]10
Fisler, Kathryn1
Martin, William J.1
Shue, Craig A.1

Contributor

Dougherty, Daniel J.[remove]10
Fisler, Kathryn1
Guttman, Joshua2
Heineman, George T.1
Krishnamurthi, Shriram1
mais Contributors »

Unit (Department)

Computer Science8
Mathematical Sciences1

Editor

Worcester Polytechnic Institute10

Tipo de recurso

Thesis7
Dissertation2
Report1

License

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

Um serviço de Samvera .

Hyrax v3.3.0

Copyright © 2018 Samvera Licenciado sob a Licença Apache, Versão 2.0