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
Varadharajan, V.
478dbd9e-da32-417f-bb27-896e04bfc30f
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
February 1991
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
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.
Text
sn-HPL-44-front.pdf
- Other
Text
sn-HPL-44.pdf
- Other
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: 14 Mar 2024 07:00
Export record
Contributors
Author:
V. Varadharajan
Author:
V. Sassone
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