|
| 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
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1981.226476, author = {A.L. Mennie and G.H. Macewen}, title = {Information Flow Certification Using an Intermediate Code Program Representation}, journal ={IEEE Transactions on Software Engineering}, volume = {7}, number = {6}, issn = {0098-5589}, year = {1981}, pages = {594-607}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1981.226476}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Information Flow Certification Using an Intermediate Code Program Representation IS - 6 SN - 0098-5589 SP594 EP607 EPD - 594-607 A1 - A.L. Mennie, A1 - G.H. Macewen, PY - 1981 KW - security KW - Certification KW - compilation KW - information flow KW - intermediate code KW - protection VL - 7 JA - IEEE Transactions on Software Engineering ER - | |||
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.