The University of Southampton
University of Southampton Institutional Repository

A unifying Petri net model of non-interference and non-deducibility information flow security

A unifying Petri net model of non-interference and non-deducibility information flow security
A unifying Petri net model of non-interference and non-deducibility information flow security
In this paper we introduce FIFO Information Flow Nets (FIFN) as a model for describing information flow security properties. The FIFN is based on Petri nets and has been derived from the work described in [Var89], [Var90] and [Rou86]. Using this new model, we present the information flow security properties Non-Interference between Places (which corresponds to Non-Interference) and Non-Deducibility on Views (which corresponds to Non-Deducibility on Inputs). Then we consider a very general composition operation and show that neither Non-Interference on Places nor Non-Deducibility on Views is preserved under this composition operation. This leads us to a new definition of information flow security referred to as the Feedback Non-Deducibility on Views. We then show that this definition is preserved under the composition operation. This leads us to a new definition of information flow security referred to as the Feedback Non-Deducibility on Views. We then show that this definition is preserved under the composition operation. We then show some similarities between this property and the notion of Non-Deducibility on Strategies.
information flow security, non-deducibility, non-interference, petri nets
s.n.
Varadharajan, V.
478dbd9e-da32-417f-bb27-896e04bfc30f
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Varadharajan, V.
478dbd9e-da32-417f-bb27-896e04bfc30f
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7

Varadharajan, V. and Sassone, V. (1991) A unifying Petri net model of non-interference and non-deducibility information flow security s.n.

Record type: Monograph (Project Report)

Abstract

In this paper we introduce FIFO Information Flow Nets (FIFN) as a model for describing information flow security properties. The FIFN is based on Petri nets and has been derived from the work described in [Var89], [Var90] and [Rou86]. Using this new model, we present the information flow security properties Non-Interference between Places (which corresponds to Non-Interference) and Non-Deducibility on Views (which corresponds to Non-Deducibility on Inputs). Then we consider a very general composition operation and show that neither Non-Interference on Places nor Non-Deducibility on Views is preserved under this composition operation. This leads us to a new definition of information flow security referred to as the Feedback Non-Deducibility on Views. We then show that this definition is preserved under the composition operation. This leads us to a new definition of information flow security referred to as the Feedback Non-Deducibility on Views. We then show that this definition is preserved under the composition operation. We then show some similarities between this property and the notion of Non-Deducibility on Strategies.

PDF sn-HPL-44-front.pdf - Other
Download (44kB)
PDF sn-HPL-44.pdf - Other
Download (307kB)

More information

Published date: February 1991
Keywords: information flow security, non-deducibility, non-interference, petri nets
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 261871
URI: http://eprints.soton.ac.uk/id/eprint/261871
PURE UUID: aee1ec96-d4ae-4693-bf50-0c2e6d856927

Catalogue record

Date deposited: 28 Jan 2006
Last modified: 18 Jul 2017 08:57

Export record

Contributors

Author: V. Varadharajan
Author: V. Sassone

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×