A SECURE FAULT TOLERANT REFERENCE MONITOR

Award Information
Agency:
Department of Defense
Branch
Missile Defense Agency
Amount:
$60,891.00
Award Year:
1991
Program:
SBIR
Phase:
Phase I
Contract:
n/a
Agency Tracking Number:
15676
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
Ora Corpon
301a Harris B Dates Drive, Ithaca, NY, 14850
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Ian Sutherland
Principal Investigator
(607) 277-2020
Business Contact:
() -
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

US Flag An Official Website of the United States Government