Abstract : This program is aimed at applying computer science and technology to areas of high DoD/military impact. Research areas include: Specification Acquisition from Experts--study of acquiring and using program knowledge for making informal program specifications more precise; Military Message Experiment--development of an experimental user-oriented message service for potential large-scale military use; Program Verification--logical proof of program validity; Network Secure Communication--work on low-bandwidth, secure voice transmission using an asynchronous packet-switched network; Command and Control Graphics--development of a device-independent graphic system and graphics-oriented command and control applications programs; Autopsy--research program on source-to-source program translation combining automatic techniques with an interactive system to provide the human manager complete control over the translation process; Programming Research--development of a major time- shared microprogramming facility with an extension for emulation of microprocessors; Protection Analysis--methods of assessing the viability of security mechanisms of operating systems; Distributed Sensor Networks-- developing algorithms and communication protocols to support the operation of geographically distributed sensors; and Internetwork Concepts--exploring aspects of protocols for the interconnection of computer communication networks, specifically the design and prototype implementation of an internetwork computer message system and the design of internetwork host and gateway protocols.