Index Catalog // Hyrax

Filter löschen

Filtern nach: Stichwort Access Control

1. Multi-Decision Policy and Policy Combinator Specifications

Stichwort:: Margrave, Access Control, specifications, policies, policy combinators, and formal methods
Schöpfer:: Giannakopoulos, Theophilos John
Advisor:: Dougherty, Daniel J.
Herausgeber:: Worcester Polytechnic Institute
Datum erstellt:: 2012-02-21
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

2. Data Sharing on Untrusted Storage with Attribute-Based Encryption

Stichwort:: Access Control, Untrusted Storage, Attribute-Based Encryption, Secure Data Sharing, and Cloud Computing
Schöpfer:: Yu, Shucheng
Advisor:: Lou, Wenjing
Herausgeber:: Worcester Polytechnic Institute
Datum erstellt:: 2010-07-13
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Electrical & Computer Engineering

3. Margrave: An Improved Analyzer for Access-Control and Configuration Policies

Stichwort:: finite model property, firewalls, applied logic, and Access Control
Schöpfer:: Nelson, Timothy
Advisor:: Fisler, Kathryn
Herausgeber:: Worcester Polytechnic Institute
Datum erstellt:: 2010-04-13
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

4. Formalization and Verification of Rewriting-Based Security Polices

Stichwort:: Access Control, Maude, and term rewriting
Schöpfer:: Veselinov, Roman Nikolov
Advisor:: Dougherty, Daniel J.
Herausgeber:: Worcester Polytechnic Institute
Datum erstellt:: 2008-04-30
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science