USA flag logo/image

An Official Website of the United States Government

A SECURE FAULT TOLERANT REFERENCE MONITOR

Award Information

Agency:
Department of Defense
Branch:
Missile Defense Agency
Award ID:
15676
Program Year/Program:
1991 / SBIR
Agency Tracking Number:
15676
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
ATC - NY
33 Thornwood Drive, Suite 500 Ithaca, NY 14850-1250
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 1991
Title: A SECURE FAULT TOLERANT REFERENCE MONITOR
Agency / Branch: DOD / MDA
Contract: N/A
Award Amount: $60,891.00
 

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.

Principal Investigator:

Ian Sutherland
Principal Investigator
6072772020

Business Contact:

Small Business Information at Submission:

Ora Corpon
301a Harris B Dates Drive Ithaca, NY 14850

EIN/Tax ID:
DUNS: N/A
Number of Employees: N/A
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No