DocumentCode
1842571
Title
A logic of composition for information flow predicates
Author
Peri, Ramesh V. ; Wulf, William A. ; Kienzle, Darrell M.
Author_Institution
Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
fYear
1996
fDate
10-12 Jun 1996
Firstpage
82
Lastpage
94
Abstract
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 theory (1994) 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
Keywords
multivalued logic; security of data; theorem proving; automated theorem proving; information flow predicates; logic of composition; many-sorted predicate logic; partial order; sets of traces; Character generation; Computer science; Information security; Information systems; Interleaved codes; Logic; Power system security; Safety;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1996. Proceedings., 9th IEEE
Conference_Location
Kenmare
ISSN
1063-6900
Print_ISBN
0-8186-7522-5
Type
conf
DOI
10.1109/CSFW.1996.503693
Filename
503693
Link To Document