Publication View

Semi-Formal Description of KVM/370 Trusted Processes (2002)

Abstract

This document contains a semi-formal description of the trusted processes of the kernelized VM/370 operating system.. See also AD-A109 317

Publication details

Download	http://handle.dtic.mil/100.2/ADA109318
Contributors	SYSTEM DEVELOPMENT CORP SANTA MONICA CA
Repository	Defense Technical Information Center OAI-PMH Repository (United States)
Keywords	COMPUTER PROGRAMMING AND SOFTWARE, DATA PROCESSING SECURITY, EXECUTIVE ROUTINES, COMPUTER PROGRAM DOCUMENTATION, KERNEL FUNCTIONS, USER NEEDS, INFORMATION PROCESSING., VM/370 operating system, IBM 370 computers, KVM/370 trusted processes
Language	eng