darrell@sdcsvax.UUCP (05/27/87)
It is difficult, if not impossible, to develop secure operating systems
for conventional machines. We are currently developing a machine
architecture and operating system that are provably secure according
multilevel security policies models. The Bell and La Padula Model is an
example multilevel security policy model.
Multilevel Secure systems enforce policies that characterize information
flow across mandatory sensitivity levels. "Secure" systems typically have a
few low-bandwidth covert channels. We have proposed an achitecture and an
operating system design that guarantee a multilevel security policy and an
upper limit on the bandwidth of any covert channels. An intended application
of this system is a Secure Network Front End that enforces security in a
local area network.
For a description of this system write to:
Georgia Institute of Technology
School of Information and Computer Science
Karen Hutchenson
Technical Report Librarian
Atlanta, GA 30332
The title of the report is:
A Multilevel Secure Architecture
Technical Report: GIT-ICS-87/21
Authors: Glenn Benson, Umakishore Ramachandran, Bill Appelbe