This Article 
 Bibliographic References 
 Add to: 
Information Flow Certification Using an Intermediate Code Program Representation
November 1981 (vol. 7 no. 6)
pp. 594-607
A.L. Mennie, Department of National Defence
This paper describes a compile-time information flow control (IFC) mechanism that certifies secure information flow within the collection of objects accessed by a program. The IFC mechanism is based on the lattice model and certification mechanism of Denning, who proposes the use of the mechanism during the analysis phase of compilation. However, IFC is placed after semantic analysis and before code optimization by ufilizing an intermediate code representation. This reduces the complexity of IFC and allows a degree of language independence. An implentation has been developed for Pascal.
Index Terms:
security, Certification, compilation, information flow, intermediate code, protection
A.L. Mennie, G.H. Macewen, "Information Flow Certification Using an Intermediate Code Program Representation," IEEE Transactions on Software Engineering, vol. 7, no. 6, pp. 594-607, Nov. 1981, doi:10.1109/TSE.1981.226476
Usage of this product signifies your acceptance of the Terms of Use.