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.
Assuring Security of Protocol Dialect Systems
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
The Naval Research Laboratory, an agency of the Department of Defense, awarded contract N00173-23-C-2001 to SRI International for the project Assuring Security of Protocol Dialect Systems. This sole-source, cost-plus-fixed-fee agreement was authorized under FAR 6.302-1 procedures because SRI International is the sole developer of the core Maude programming language. The scope of work involves extending the Maude language and developing and analyzing formal patterns for dialect systems to verify their security. The contract structure consists of one base year and two option years. Performance of the contract is based in Washington, DC, under NAICS code 541715. The procurement process was finalized following a Justification and Approval dated August 15, 2022, ensuring the specialized technical capabilities of SRI International were utilized for these specific language extensions and security verifications.
General Info
Contract Value
$299,421Place of Performance
Washington, DC, 20375, USASet-Aside
Awardee
SRI INTERNATIONALAward 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
