This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Citation:
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.