An Axiomatic Approach to Information Flow in Programs-Reference-Cited by-同舟云学术

An Axiomatic Approach to Information Flow in Programs

Published:1980-01 Issue:1 Volume:2 Page:56-76
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Andrews Gregory R.¹,Reitman Richard P.²

Affiliation:

1. Department of Computer Science, University of Arizona, Tucson, AZ

2. School of Computer and Information Science, 313 Link Hall, Syracuse University, Syracuse, NY

Abstract

A new approach to information flow in sequential and parallel programs is presented. Flow proof rules 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 examples. The applications of flow proofs to certifying information flow policies and to solving the confinement problem are considered. It is also shown that flow rules and correctness rules can be combined to form an even more powerful proof system.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/357084.357088

Reference19 articles.

1. The programming language Concurrent Pascal

2. A lattice model of secure information flow

3. Certification of programs for secure information flow

Cited by 89 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Immutability and Encapsulation for Sound OO Information Flow Control;ACM Transactions on Programming Languages and Systems;2023-03-03

2. Analyzing information flow in solidity smart contracts;Distributed Computing to Blockchain;2023

3. Information Flow Control-by-Construction for an Object-Oriented Language;Software Engineering and Formal Methods;2022

4. A Quantale of Information;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06

5. An Axiomatic Approach to Detect Information Leaks in Concurrent Programs;2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2021-05