Marvin Schaefer, The Multilevel Policy Model for the Trusted ONTOS Prototype (July 22, 1998)
Channel: securitylectures
Date: 2012-08-11

From the CISR video library (http://www.cisr.us)

Marvin Schaefer, Arca Systems 
The Multilevel Policy Model for the Trusted ONTOS Prototype 
July 22, 1998

at the
Naval Postgraduate School
(http://www.nps.edu)

ABSTRACT
This talk presents the evolved security model and philosophy of TOP, the Trusted ONTOS Prototype. TOP was designed under the sponsorship of the NSA and Rome Laboratory as a multilevel, high integrity, client/server object database management system as an extension of the existing commercial ONTOS product. The TOP design was intended to provide features and assurances comparable to those defined for at least the B1 level of the US TCSEC, and offered the potential to satisfy least privilege and information flow requirements comparable to those at the B3 level. 

About Marvin Schaefer
Arca Systems 

Marvin Schaefer is Chief Scientist and Vice President at Arca Systems, where he is currently investigating security issues relating to executable content objects and database management security. Mr Schaefer has over 33 years' experience as a researcher in a wide range of information security topics. He served as the first Chief Scientist of the Department of Defense Computer Security Center and later the National Computer Security Center. His major achievements include chairing the National Research Council study on Multilevel Database Management Security (1982), co-authoring the DoD Trusted Computer System Evaluation Criteria (TCSEC), developing the ADEPT-50 formal multilevel security policy model (1967), co-authoring the Hinke-Schaefer Multilevel Relational DBMS (1973-5), designing and leading the Kernelized VM/370 Program (1976-82), designing the F-22 realtime multilevel operating system (1991-2), and serving as principal architect for the ONTOS multilevel object oriented DBMS (1991-6). He has directed numerous formal method developments (including that of FDM/Ina Jo) and penetration studies. Mr Schaefer holds academic degrees in pure mathematics and completed the course requirements for the PhD in Algebraic Number Theory at UCLA. His mathematical talents, being far superior to his achievements on the classical konzertzither, are represented in his text, "A Mathematical Theory of Global Program Optimization," Prentice-Hall, 1973.