The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May (1983 vol.9)
pp: 289-299
G.H. MacEwen , Department of Computing and Information Science, Queen's University
ABSTRACT
This paper describes the design of a prototype experimental secure operating system kernel called xsl that supports compile-time enforcement of an information flow policy. The security model chosen is an extension of Feiertag's model modified to state requirements in terms of program analysis functions. A prototype flow analyzer for Pascal programs, based on Denning's model, has been designed and implemented for incorporation into xs1. In addition, a flow analyzer, based on London's model, has also been designed and implemented. Both kinds of enforcement are supported in xsl. Both program anallyzers use an intermediate code program representation, originally designed for code optimization. Implementation of the flow analyzers is in Euclid with the remainder of xsl in PascaL
INDEX TERMS
system design, Access control, information flow, modularization, operating systems, security, software engineering
CITATION
G.H. MacEwen, "The Design for a Secure System Based on Program Analysis", IEEE Transactions on Software Engineering, vol.9, no. 3, pp. 289-299, May 1983, doi:10.1109/TSE.1983.236864
34 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool