A SECURE FAULT TOLERANT REFERENCE MONITOR

Award Information
Agency: Department of Defense
Branch: Missile Defense Agency
Contract: N/A
Agency Tracking Number: 15676
Amount: $60,891.00
Phase: Phase I
Program: SBIR
Awards Year: 1991
Solicitation Year: N/A
Solicitation Topic Code: N/A
Solicitation Number: N/A
Small Business Information
301a Harris B Dates Drive, Ithaca, NY, 14850
DUNS: N/A
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Ian Sutherland
 Principal Investigator
 (607) 277-2020
Business Contact
Phone: () -
Research Institution
N/A
Abstract
THE GOAL OF THE PROJECT IS TO DEVELOP A FORMALLY VERIFIED DESIGN FOR A MULTILEVEL SECURE, DISTRIBUTED, FAULT TOLERANT REFERENCE MONITOR. A REFERENCE MONITOR IS A SYSTEM PROGRAM WHICH CONTROLS ACCESS OF USER PROCESSES TO SENSITIVE DATA. THE REFERENCE MONITOR CHECKS ACCESSES FOR COMPLIANCE WITH A SYSTEM SECURITY POLICY, AND DISALLOWS ACCESSES NOT IN COMPLIANCE. ORA WILL DEVELOP A DESIGN FOR A REFERENCE MONITOR WHICH IS DISTRIBUTED ON MULTIPLE PROCESSORS AND CAN TOLERATE PROCESSOR AND MEMORY FAULTS. THE PROJECT WILL DEFINE A FORMAL MATHEMATICAL MODEL OF SECURITY FOR THE REFERENCE MONITOR. THE DESIGN WILL BE FORMAL LANGUAGE AND VERIFIEED TO SATISFY THE SECURITY MODEL IN A VERIFICATION ENVIRONMENT BUILT AT ORA CALLED ROMULUS.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government