IEEE - Institute of Electrical and Electronics Engineers, Inc. - A logic of composition for information flow predicates

Proceedings 9th IEEE Computer Security Foundations Workshop

Author(s): Peri, R.V. ; Wulf, W.A. ; Kienzle, D.M.
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): 82 - 94
ISBN (Paper): 0-8186-7522-5
ISSN (Paper): 1063-6900
DOI: 10.1109/CSFW.1996.503693
Regular:

Information flow predicates are properties of sets of traces and therefore cannot be handled under the Alpem-Schneider framework and the Abadi-Lamport Composition Principle. McLean proposed a... View More

Advertisement