Index Catalog // Digital WPI

Start Over

Filtering by: Creator Giannakopoulos, Theophilos John Keyword Access Control

1. 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