A Research Program in Computer Technology

Abstract

This report summarizes the research performed by USC/Information Sciences Institute from 17 May 1974 to 30 June 1975. 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; Automatic Programming--the study of acquiring and using problem knowledge for program generation; 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--further development of Xerox Graphics Printer facilities; and ARPANET TENEX Service--operation of TENEX service and continuing development of advanced support equipment.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1975
Accession Number
ADA016662

Entities

Organizations

  • University of Southern California

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Ground and Sea Platforms
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Automatic Programming
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Debugging
  • Information Science
  • Microprogramming
  • Operating Systems
  • Programming Languages
  • Secure Communications
  • Software Development
  • Verification
  • Voice Communications

Fields of Study

  • Computer science

Readers

  • Computer Engineering
  • Computer Networking
  • Computer Science.

Technology Areas

  • Cyber