GOVERNMENT CONTRACT OPPORTUNITY
==============================

Notice ID: sam-opportunity-6f2ae817726c4328a1ef1696cbae8f10
Solicitation number: DARPA-SN-27-13
Title: Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)
Agency: DEPT OF DEFENSE
Sub-Agency: DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)
Office: DEF ADVANCED RESEARCH PROJECTS AGCY

TYPE & CLASSIFICATION
---------------------
Opportunity Type: Special Notice
NAICS Code: 541715
PSC Code: AC12
Set-Aside: Full & Open Competition


KEY DATES
---------
Posted: 2026-10-29
Response Deadline: 2026-11-13
Status: Active

DESCRIPTION
-----------
Modern networks need to be reconfigured quickly in response to mission changes or emerging threats, but checking compliance with security requirements can take months. This creates a window in which adversaries may exploit vulnerabilities introduced by those changes. The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on approaches, tools and practices for closing that window by reducing, by 2-3 orders of magnitude, the time and cost of verifiable compliance checking. DARPA envisions a capability that would take as input two items: (a) a requirements document written in natural language and (b) the configurations in a concrete network. In an offline phase, it would reason about the requirements for inconsistency, redundancy and incompleteness, and output consistent, non-redundant and completed requirements. Then, it would check, in near real-time, whether the concrete configurations satisfy all of the requirements. In all cases, its output would be understandable by a human.

---
Source: Gov Contract Finder
Canonical URL: https://govcontractfinder.com/contracts/request-for-information-rfi-verification-and-compliance-chec-sam-opportunity-6f2ae817726c4328a1ef1696cbae8f10
Official Source: SAM.gov
Official URL: https://sam.gov/opp/9702cfee87444ea792404ad280b946e0/view