Skip to content
Gov Contract Finder
Schedule a demo
Menu
← Back to search
Special NoticeActive

Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)

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.

Attachments

1 file

Contacts

Observed opportunity history

This is the history collected by Gov Contract Finder. Times show when information was captured or a version was assembled, not when SAM.gov originally changed it. Earlier revisions may be missing.

Publications are grouped by matching evidence; revision relationships are inferred.

The original SAM.gov root publication has not been verified.

History

  1. Opportunity version

    Initial information

    Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)

    Solicitation: DARPA-SN-27-13

    Publication: 9702cfee87444ea792404ad280b946e0

    Current publication

    Changed fields: Description

    First established information: Description

  2. Opportunity version

    New opportunity observed

    Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)

    Solicitation: DARPA-SN-27-13

    Publication: 9702cfee87444ea792404ad280b946e0

    Current publication

    Changed fields: AAC Code, Active, AdditionalInfoLink, ArchiveDate, ArchiveType, Award$, AwardAmount, AwardDate, AwardNumber, Awardee, BaseType, CGAC, City, ClassificationCode, CountryCode, Department/Ind.Agency, FPDS Code, Industry, Link, NaicsCode, NoticeId, Office, OrganizationType, PopCity, PopCountry, PopState, PopStreetAddress, PopStreetAddress2, PopZip, PostedDate, PrimaryContact, ResponseDeadLine, SecondaryContact, SetASide, SetASideCode, Sol#, State, Sub-Tier, Title, Type, ZipCode, awardeeCageCode, awardeeUei, descriptionUrl, fullParentPathCode, fullParentPathName, groupingConfidence, logicalOpportunityId, naicsCodes, pointOfContact, resourceLinks, samNoticeId, samRootId, solicitationNumber, source, sourceResourceCount, sourceResourceIds

  3. Opportunity capture

    Initial information

    Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)

    Solicitation: DARPA-SN-27-13

    Publication: 9702cfee87444ea792404ad280b946e0

    Current publication

Official sources

Notice on SAM.govsam.gov · Official U.S. government record (opens in a new tab)Plain text

Related active notices