Worcester Polytechnic Institute Electronic Theses and Dissertations Collection

Title page for ETD etd-043008-165615


Document Typethesis
Author NameVeselinov, Roman Nikolov
URNetd-043008-165615
TitleFormalization and Verification of Rewriting-Based Security Polices
DegreeMS
DepartmentComputer Science
Advisors
  • Dan Dougherty, Advisor
  • Stanley Selkow, Reader
  • Michael Gennert, Department Head
  • Keywords
  • Maude
  • term rewriting
  • access control
  • Date of Presentation/Defense2008-05-05
    Availability unrestricted

    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.

    Files
  • VeselinovThesisFinal.pdf

  • Browse by Author | Browse by Department | Search all available ETDs

    [WPI] [Library] [Home] [Top]

    Questions? Email etd-questions@wpi.edu
    Maintained by webmaster@wpi.edu