Etd

 

Noninterference in Concurrent Game Structures Public

Downloadable Content

Download PDF

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.

Last modified
  • 11/23/2020
Creator
Contributors
Degree
Unit
Publisher
Language
  • English
Identifier
  • etd-050207-164735
Keyword
Advisor
Defense date
Year
  • 2007
Date created
  • 2007-05-02
Resource type
Rights statement
License

Relationships

In Collection:

Items

Permanent link to this page: https://digital.wpi.edu/show/ns0646107