Tactical Executive (TACEXEC): A Real-Time Secure Operating System for Tactical Applications

摘要

This report describes the design of a computer operating system (TACEXEC) that supports applications in a tactical military environment. The outstanding features of the system are that it is secure in the military multilevel sense and that it assures real time response to external events. TACEXEC is described both informally and in a formal mathematical notation. Formal and informal definitions of security and real time performance are given and techniques for proving that TACEXEC meets these requirements are described. Several issues with regard to the implementation of TACEXEC are also discussed.