Accession Number:

ADA028962

Title:

A Research Program in Computer Technology

Descriptive Note:

Annual rept. 1 Jul 1975-30 Jun 1976

Corporate Author:

UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST

Personal Author(s):

Report Date:

1976-07-01

Pagination or Media Count:

102.0

Abstract:

The research is aimed at applying computer science and technology to problem areas of high DoDmilitary 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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE