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


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

Download

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

Description/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.

Item Type: Monograph (Project Report)
Keywords: information flow security, non-deducibility, non-interference, petri nets
Organisations: Web & Internet Science
ePrint ID: 261871
Date :
Date Event
February 1991Published
Date Deposited: 28 Jan 2006
Last Modified: 17 Apr 2017 21:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261871

Actions (login required)

View Item View Item