Browse Prior Art Database

A Research Program in Computer Technolo

IP.com Disclosure Number: IPCOM000128633D
Original Publication Date: 1975-Dec-31
Included in the Prior Art Database: 2005-Sep-16

Publishing Venue

Software Patent Institute

Related People

Keith W. Uncapher: AUTHOR [+4]

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.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 2% of the total text.

Page 1 of 58

THIS DOCUMENT IS AN APPROXIMATE REPRESENTATION OF THE ORIGINAL.

A Research Program in Computer Technolo

Keith W. Uncapher Thomas O. Ellis

ARPA ORDER NO. 2223

ISIISR-75-3

ANNUAL TECHNICAL REPORT May 1974 - June 1975 gy

prepared for the Advanced, Research Projects Agency Effective date of contract 17 May 1972

Contract expiration date

30 June 1975

Amount of contract $7,661,344

Principal investigator Keith W. Uncapher (213) 822-1511

Co-principal investigator Thomas 0. Ellis (213) 822-1511 INFORMATION SCIENCES INSTITUTE 4<7< Adnziralt y Way/Marina del ReylCali f ornia 90297UNIVERSITY OF SOUTHERN CALIFORNIA fT7T (213 822-1517

THIS RESEARCH IS SUPPORTED BY THE ADVANCED RESEARCH PROJECTS AGENCY UNDER CONTRACT NO. DAHC15 72 C 0308. ARPA ORDER NO. 2223 PROGRAM CODE NO. 3D30 AND 3P70. VIEWS AND CONCLUSIONS CONTAINED IN THIS STUDY ARE THE AUTHOR'S AND SHOULD NOT BE INTERPRETED AS REPRESENTING THE OFFICIAL OPINION OR POLICY OF ARPA. THE U.S. GOVERNMENT OR ANY OTHER PERSON OR AGENCY CONNECTED WITH THEM.

THIS DOCUMENT APPROVED FOR PUBLIC RELEASE AND SALE: DISTRIBUTION IS UNLIMITED.

PERSONNEL

Research Staff: Robert M. Balzer System Staff: Alan E. Algustyniak Raymond Bates R. Jacque Bruninga Richard Bisbey 11 George W. Dietrich Thomas L. Boynton Glen W. Gauthier Jim Carlstedt Donald R. Lovelace Stephen L. Casner Raymond L. Mason Danny Cohen Marion McKinley Jr. Martin J. Cohen William H. Moore E. Randolph Cole Vernon W. Reynolds Stephen
D. Crocker Dale S. Russell Ronald L. Currier Thomas 0. Ellis Support Staff: Robert Blechen Lawrence M. Fagan Ralph W. Calilwell Louis Callenson Wanda N. Ganillas Joel Goldberg Dale
M. Chase Neil M. Goldman Jeannette Christensen Norton R. Creenfeld Kathie CoIegrove John
F. Heafner Nancy Dechter James Koda Oralio E. Garza Ralph L. London Judy Gustafson Richard C. Mandell Patricia A. Hagedorn David R. Musser Delis A. Heilig Donald R. Destreicher Chloe HoIg Robert Parker Rose L. Kattlove Paul Raveling Kyle P. Lemmons Jeff Rothenberg C. Nelson Lucas Walter R. Ryder Jack M. Mann Robert H. Stotx Katie Patterson Ron Tugender Betty Randall Keith W. Uncapher Rennie Simpson Dono Van-Mierop Nancy Travis John J. Vittal

University of Southern California Page 1 Dec 31, 1975

Page 2 of 58

A Research Program in Computer Technolo

Deborah C. Williams David S. Wile Research Assistants: John K. Kastner Consultants: Nancy L. Bryan Donald S. Lynn Gerald J. Popek Larry Miller David Wilczynski Martin D. Yonke

CQNT~;NTS

Abstract v Executive Overview via

1. Program Verification 1 2. Programming Research Instrument 14

3. Automatic Programming; 24

4. Protection Analysis 34 5. Information Automation 42 6. Network Secure Communication 53 7. Special Projects 66

S. ARPANET TENEX Service ?3

Publications 79

Colloquia 81

Doctoral Theses 84

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 hi...