IBM / Honeywell / Naval Research Laboratory / Code 5590 Naval Research Laboratory / Intel / /
Country
United States / /
Event
FDA Phase / /
Facility
Systems Branch Information TechnologyDivision JOHN M. CARROLL Departmentof ComputerScience University of Western Ontario London / /
IndustryTerm
trusted computing bases / secure systems / Particular computer hardware / software engineering principles / software controls / actual systems / structures hardware / secure computer systems / software designs / secure communications processor / software structures / program verification technology / system software / early batch processing systems / secure processing / /
Organization
INTRODUCTION Many Navy / SECURITYCLASSIFICATION AUTHORITY / Western Ontario London / Ontario Canada PAUL ANDERSON SystemsEngineeringDivision Space and Naval Warfare Systems Command Washington / Applications CARL E. LANDWEHR AND BRIAN TRETICK Computer Science and Systems Branch Information TechnologyDivision JOHN M. CARROLL Departmentof ComputerScience University of Western Ontario London / National Computer Security Evaluation Center / Navy / /
Person
PAUL ANDERSON / JOHN M. CARROLL / CARL E. LANDWEHR / BRIAN TRETICK / /
Position
programmer / /
Product
SDI iH15 Speakers / AI10NLit / /
ProgrammingLanguage
DC / /
Region
Western Ontario / /
Technology
ROLE OF VERIFICATION TECHNOLOGY / program verification technology / virtual memory / secure communications processor / VERIFICATION TECHNOLOGY / operating systems / /
Naval Research Laboratory Washington, DC 20375*5000 NRL ReportA Framework for Evaluating Computer Architectures to