IEEE - Institute of Electrical and Electronics Engineers, Inc. - Comparing two information flow security properties

Proceedings 9th IEEE Computer Security Foundations Workshop

Author(s): Focardi, R.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Kenmare, Ireland, Ireland
Conference Date: 10 June 1996
Page(s): 116 - 122
ISBN (Paper): 0-8186-7522-5
ISSN (Paper): 1063-6900
DOI: 10.1109/CSFW.1996.503696
Regular:

In this paper we compare two information flow security properties: the lazy security (L-Sec) by A.W. Roscoe et al. (1994) and the bisimulation non-deducibility on compositions (BNDC) by R. Focardi... View More

Advertisement