SBIR/STTR Research Award
A SECURE FAULT TOLERANT REFERENCE MONITOR
Award amount
$60,891Program and phase
SBIR · Phase IAward year
1991Award details
- Awarding agency
- Department of Defense
- Branch
- Missile Defense Agency
- Recipient company
- ATC-NY INC
- Proposal award date
- Not reported
- Contract end date
- Not reported
- UEI
- LE62V456GNB5
- Solicitation number
- Not reported
- Topic code
- Not reported
Research 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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Cyber-agents for Live Onboard Aviation Network Security (CLOANS)
- FORTRESS (Fast, Orderly, Reliable, Tree-based Resource Enforcement Security System)
- CYRIN-OT: Advanced Cyber Range for Operational Technology Digital Twins
- Cyber Analyst NOtebook (CANO)
- WHAM, a WareHouse AI for Management
Research funding history
143 SBIR/STTR records share this UEI (1983–2025). Reported award amounts total $44,477,719. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, National Aeronautics and Space Administration, Department of Energy, National Science Foundation, Department of Homeland Security, Department of Commerce