Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)
Summary
DARPA's Information Processing Techniques Office is seeking information on approaches, tools, and practices to dramatically reduce the time and cost of verifiable compliance checking for network configurations against natural‑language security requirements. The notice emphasizes near real‑time verification to close a vulnerability window caused by slow manual checks, but provides no further detail beyond this description.