This Government Contract opportunity from Department Of Defense was posted on December 20, 2022. The submission period has ended. Browse the details below for market research, or find similar active opportunities.
Securing Protocol Dialect Systems in Maude-NPA
Contract Overview
Solicitation details, issuing organization, response deadlines, documents, and interested companies for this government contract opportunity.
Active Opportunities Like This One
AI Contract Overview
Awarded to the University of Illinois Board of Trustees by the Naval Research Laboratory under the Department of Defense, contract N00173-23-C-2002 focuses on the development of a formal methods tool designed to verify the security of protocol dialect systems. The project utilizes the Maude executable formal specification language and the Maude-NPA tool to achieve these security verification goals. This agreement was established as a sole-source, cost-plus-fixed-fee contract under FAR 6.302-1 procedures. The University of Illinois Urbana-Champaign was identified as the only responsible source possessing the specialized expertise required for the project, a determination supported by a lack of responses to a previous sources-sought notice. The contract is categorized under NAICS code 541715 and is managed by the Naval Research Laboratory in Washington, DC.
General Info
Contract Value
$352,245.48Place of Performance
50000, DC, 20375, USASet-Aside
Awardee
UNIVERSITY OF ILLINOISAward Issued Date
Documents
1AI Contract Breakdown
Uniform Contract FormatContract not broken down yet
CLEATUS splits the solicitation into Uniform Contract Format (UCF) sections: scope, pricing, deliverables, and evaluation criteria.
Timeline
Submission Closed
Organization & Contact Information
Full Description
More opportunities from Department Of Defense → Naval Research Laboratory
Same awarding agency
Earlier notices in this NAICS code
Posted before this notice, open and closed
Find Active Opportunities Like This
Get AI-powered intelligence on the opportunities still open
Every page of the solicitation package shredded into a compliance breakdown
AI-powered matching based on your capabilities and past performance
Competitor and incumbent history on the requirement
Automated alerts on amendments, Q&A deadlines, and award
Join 750+ contractors already using CLEATUS
