Faculty Advisor or Committee Member

Dan Dougherty, Advisor

Faculty Advisor or Committee Member

Stanley Selkow

Faculty Advisor or Committee Member

Dan Dougherty

Identifier

etd-043008-165615

Abstract

Term rewriting -- an expressive language based on equational logic -- can be used to author and analyze policies that are part of an access control system. Maude is a simple, yet powerful, reflective programming language based on term rewriting that models systems along with the subjects, objects and actions within them. We specify the behavior of the system as a theory defined by conditional rewrite rules, and define the access control policy as an equational theory in a separate module. The tools that Maude provides, such as the Maude Model Checker and the Sufficient Completeness Checker, are used to reason about the behavior and verify properties of access control systems in an automated manner.

Publisher

Worcester Polytechnic Institute

Degree Name

MS

Department

Computer Science

Project Type

Thesis

Date Accepted

2008-04-30

Accessibility

Unrestricted

Subjects

Maude, term rewriting, access control, Computers, Access control, Maude (Computer program language)

Share

COinS