Delimited Persistent Stochastic Non-Interference

Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Non-Interference is an information flow security property which aims to protect confidential data by ensuring the complete absence of any information flow from high level entities to low level ones. However, this requirement is too demanding when dealing with real applications: indeed, no real policy ever guarantees a total absence of information flow. In order to deal with real applications, it is often necessary to allow mechanisms for downgrading or declassifying information such as information filters and channel control.
In this paper we generalize the notion of Persistent Stochastic Non-Interference (PSNI) in order to allow information to flow from a higher to a lower security level through a downgrader. We introduce the notion of Delimited Persistent Stochastic Non-Interference (D_PSNI) and provide two characterizations of it, one expressed in terms of bisimulation-like equivalence checks and another one formulated through unwinding conditions. Then we prove some compositionality properties. Finally, we present a decision algorithm and discuss its complexity.
Original languageEnglish
Title of host publicationProceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools
Place of PublicationPalma de Mallorca, Spain
PublisherACM
Pages135-142
Number of pages8
ISBN (Electronic)978-1-4503-6596-3
DOIs
Publication statusPublished - 12 Mar 2019
Event12th EAI International Conference on Performance Evaluation Methodologies and Tools - Palma de Mallorca, Spain
Duration: 13 Mar 201915 Mar 2019
http://valuetools.org/

Conference

Conference12th EAI International Conference on Performance Evaluation Methodologies and Tools
Abbreviated titleVALUETOOLS 2019
CountrySpain
CityPalma de Mallorca
Period13/03/1915/03/19
Internet address

Keywords

  • Process algebra
  • Markovian models
  • Non-Interference
  • Algebraic language theory

Cite this