Index Catalog // 蹄兔

清除筛选

筛选: Advisor Dougherty, Daniel J. Unit (Department) Computer Science

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

创造者:: Veloz Baez, Freddy
Advisor:: Dougherty, Daniel J. and Shue, Craig A.
出版者:: Worcester Polytechnic Institute
创建日期:: 2022-04-27
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

2. Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

关键词:: Formal verification, Alloy, Formal modeling, and Cooperative autonomous driving (CAD)
创造者:: VanValkenburg, MaryAnn E.
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2020-05-18
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

3. User Evaluation Framework for Model Finding Research

关键词:: Verification, model finding, Case Studies, model finders, user studies, user evaluation, formal methods, and logic
创造者:: Danas, Ryan
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2016-08-31
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

4. A Framework for Exploring Finite Models

关键词:: provenance information, Razor, Aluminum, first-order logic, Geometric Logic, Chase, finite model-finding, and exploration
创造者:: Saghafi, Salman
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2015-04-30
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

5. First-Order Models for Configuration Analysis

关键词:: firewalls, Security, static analysis, logic, scenarios, model finding, and configuration
创造者:: Nelson, Tim
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
出版者:: Worcester Polytechnic Institute
创建日期:: 2013-04-25
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

6. Multi-Decision Policy and Policy Combinator Specifications

关键词:: Margrave, Access Control, specifications, policies, policy combinators, and formal methods
创造者:: Giannakopoulos, Theophilos John
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2012-02-21
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

7. Noninterference in Concurrent Game Structures

关键词:: Security, confidentiality, and noninterference
创造者:: Mardziel, Piotr
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2007-05-02
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

8. Formalization and Verification of Rewriting-Based Security Polices

关键词:: Access Control, Maude, and term rewriting
创造者:: Veselinov, Roman Nikolov
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2008-04-30
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science