Worcester Polytechnic Institute Electronic Theses and Dissertations Collection

Title page for ETD etd-050207-164735


Document Typethesis
Author NameMardziel, Piotr
Email Address piotrm at gmail.com
URNetd-050207-164735
TitleNoninterference in Concurrent Game Structures
DegreeMS
DepartmentComputer Science
Advisors
  • Dan Dougherty, Advisor
  • Micha Hofri, Reader
  • Keywords
  • security
  • confidentiality
  • noninterference
  • Date of Presentation/Defense2007-04-30
    Availability unrestricted

    Abstract

    Noninterference is a technique to formally capture the intuitive notion of information flow in the context of security. Information does not flow from one agent to another if the actions of the first have no impact on the future observations of the second. Various formulations of this notion have been proposed based on state machines and the removal of actions from action sequences. A new model known as the concurrent game structure [CGS] has recently been introduced for analysis multi-agent systems. We propose an alternate formulation of noninterference defined for systems modeled by CGS's and analyze the impact of the new approach on noninterference research based on existing definitions.

    Files
  • mardziel.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