Comparing Two Information Flow Security Properties

  • Authors:
  • Riccardo Focardi

  • Affiliations:
  • -

  • Venue:
  • CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we compare two information flow security properties: the lazy security (L-Sec) and the Bisimulation Non-deducibility on Compositions (BNDC). To make this we define the Failure Non-deducibility on Compositions, a failure semantics version of the BNDC. The common specification language used for the comparison is the Security Process Algebra, an extension of CCS which permits to describe systems where actions belong to two different levels of confidentiality. We prove that BNDC applied to a restricted class of systems, the low-deterministic and non-divergent ones, is equal to L-Sec. So these two properties, which are based on quite different underlying intuitions, become the same if we add some conditions to BNDC.