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
A Logic of Composition for Information Flow Predicates
Dromquinna Manor, Kenmare, County Kerry, Ireland
March 10-March 12
ISBN: 0-8186-7522-5
ASCII Text
x 
 
Ramesh V. Peri, William A. Wulf, Darrell M. Kienzle, "A Logic of Composition for Information Flow Predicates," Computer Security Foundations Workshop, IEEE, pp. 82, Ninth IEEE Computer Security Foundations Workshop, 1996.
 
 
BibTex
x
 
@article{ 10.1109/CSFW.1996.503693,
author = {Ramesh V. Peri and William A. Wulf and Darrell M. Kienzle},
title = {A Logic of Composition for Information Flow Predicates},
journal ={Computer Security Foundations Workshop, IEEE},
volume = {0},
year = {1996},
issn = {1063-6900},
pages = {82},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1996.503693},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Foundations Workshop, IEEE
TI - A Logic of Composition for Information Flow Predicates
SN - 1063-6900
SP
EP
A1 - Ramesh V. Peri,
A1 - William A. Wulf,
A1 - Darrell M. Kienzle,
PY - 1996
VL - 0
JA - Computer Security Foundations Workshop, IEEE
ER -
 
Ramesh V. Peri, University of Virginia
William A. Wulf, University of Virginia
Darrell M. Kienzle, University of Virginia
Information flow predicates are properties of sets of traces and therefore cannot be handled under the Alpern-Schneider framework and the Abadi-Lamport Composition Principle. McLean proposed a theory in [MCL94] to investigate the composition properties of these predicates and derived a partial order on them. In this paper we present an alternate framework based on many-sorted predicate logic for specifying the information flow properties and show that this framework can be used to reason about the composition of such properties that is amenable to automated theorem proving.
Citation:
Ramesh V. Peri, William A. Wulf, Darrell M. Kienzle, "A Logic of Composition for Information Flow Predicates," csfw, pp.82, Ninth IEEE Computer Security Foundations Workshop, 1996
Usage of this product signifies your acceptance of the Terms of Use.