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