Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/7478
Title: An Axiomatic Approach to Information Flow in Parallel Programs
Authors: Andrews, Gregory R.
Reitman, Richard P.
Keywords: computer science
technical report
Issue Date: Dec-1978
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR78-361
Abstract: This paper presents a new, axiomatic approach to information flow in sequential and parallel programs. Flow axioms that capture the information flow semantics of a variety of statements are given and used to construct program flow proofs. The method is illustrated by a variety of examples. The applications of flow proofs to certifying information flow policies and solving the confinement problem are considered. It is also shown that flow axioms and correctness axioms can be combined to form an even more powerful proof system. Keywords and Phrases: information flow, information security, security certification, parallel programs, axiomatic logic, proof rules.
URI: http://hdl.handle.net/1813/7478
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
78-361.pdf1.56 MBAdobe PDFView/Open
78-361.ps992.22 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us