The following document is copyright of Key Logic. Here is a PostScript version. For reader ease, footnotes have been converted to endnotes. If you would like further information about these documents, please contact Agorics, Inc. at (415)941-8224.

Agorics, Inc.
300 Third Street
Los Altos, CA 94022

Preliminary Edition (March, 1989)

KeyKOS (R) is a Registered Trademark of Key Logic.

Copyright Key Logic 1989.
All rights reserved.

Table of Contents

The KeyKOS/KeySAFE System Design

KeyKOS/KeySAFE and TCSEC B-level Requirements