SBIR/STTR Research Award

HIGH ASSURANCE TRUSTED SYSTEMS

Award identifier 2e7af136f6d97aa292102788119def731ad8d919386cc4b54098725daef7802dAwarding agency Department of Defense · Navy

Award amount

$49,775

Program and phase

SBIR · Phase I

Award year

1991

Explore This Research Award in CaptureIQ

Research the technology, evaluate the recipient and agency, identify related opportunities, and explore potential follow-on work with CaptureIQ.

Open in CaptureIQRequest Access

Award details

Awarding agency
Department of Defense
Branch
Navy
Recipient company
Savannah River Associates Inc
Proposal award date
Not reported
Contract end date
Not reported
UEI
Not reported
Solicitation number
Not reported
Topic code
Not reported

Research abstract

THE FOCUS OF THIS PROPOSAL IS THE ESTABLISHMENT OF THE FEASIBILITY OF GENERATING THE FUNCTIONAL CODE FOR TRUSTED COMPUTING BASE (TCB) MODULES FROM MACHINE-PARSEABLE DESCRIPTION OF A SECURITY POLICY MODEL. THE TCB MODULE GENERATION SYSTEM (TMGS) WOULD BE DESIGNED TO PROVIDE A HIGH DEGREE OF ASSURANCE THAT THE SECURITY PROPERTIES OF THE MODEL WOULD BE UPHELD IN THE CODE, AND WOULD PROVIDE THE INTERMEDIATE-LEVEL INFORMATION TO KNOWN VERIFICATION TOOLS TO AID IN THE CERTIFICATION OF SYSTEMS CONTAINING GENERATED MODULES.

Technology keywords

Not reported

Agency intelligence

Department of Defense

Back to SBIR/STTR Research Awards

Don't take our word for it. Ask AI about RFPCapture.

See what leading AI assistants have to say about RFPCapture and CaptureIQ.

SmartSoloChatGPTClaudePerplexityGrokGemini

Gemini opens without a prefilled question. The question is copied to your clipboard when the button works. You can also copy it here:

What is RFPCapture.com and its CaptureIQ platform from Smart Logic AI? How does it help federal contractors discover opportunities, evaluate bid/no-bid decisions, research government contracts, and prepare proposals? How does it compare with other federal capture platforms? Use independent sources where available.