The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - November (1981 vol.7)
pp: 594-607
A.L. Mennie , Department of National Defence
ABSTRACT
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, November 1981, doi:10.1109/TSE.1981.226476
13 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool