A Research Program in Computer Technology
Abstract
The research is aimed at applying computer science and technology to problem areas of high DoD/military impact. The ISI program consists of eight research areas: Program Verification -- logical proof of program validity; Programming Research Instrument -- development of a major time-shared microprogramming facility; Specification Acquisition From Experts -- the study of acquiring and using problem knowledge for making informal program specifications more precise; Protection Analysis -- methods of assessing the viability of security mechanisms of operating systems; Information Automation -- development of a user-oriented message service for large-scale military requirements; Network Secure Communication -- work on low-bandwidth, secure voice transmission using an asynchronous packet-switched network; Special Projects -- a variety of activities and hardware developments in support of Institute programs; and ARPANET TENEX Service -- operation of TENEX service and continuing development of advanced support equipment.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1976
- Accession Number
- ADA028962
Entities
People
- Keith W. Uncapher
Organizations
- University of Southern California