loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ninth IEEE Computer Security Foundations Workshop
Comparing Two Information Flow Security Properties
Dromquinna Manor, Kenmare, County Kerry, Ireland
March 10-March 12
ISBN: 0-8186-7522-5
Riccardo Focardi, Dipartimento di Scienze dell'Informazione Universita' di Bologna focardi@cs.unibo.it
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.
Index Terms:
multilevel security, noninterference, nondeducibility, automatic verification, software tool, security checker
Citation:
Riccardo Focardi, "Comparing Two Information Flow Security Properties," csfw, pp.116, Ninth IEEE Computer Security Foundations Workshop, 1996
Usage of this product signifies your acceptance of the Terms of Use.