Ir al contenido
Gov Contract Finder
Solicitar demo
Menú
← Back to search
Special NoticeActivo

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

Descripción

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.

Anexos

1 archivo

Contactos

Historial observado de la oportunidad

Este es el historial recopilado por Gov Contract Finder. Las fechas indican cuándo se registró la información o se creó una versión, no cuándo SAM.gov la cambió originalmente. Pueden faltar revisiones anteriores.

Las publicaciones se agrupan por coincidencias; las relaciones entre revisiones son inferidas.

No se ha verificado la publicación raíz original de SAM.gov.

Historial

  1. Versión de la oportunidad

    Información inicial

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

    Licitación: DARPA-SN-27-13

    Publicación: 9702cfee87444ea792404ad280b946e0

    Publicación actual

    Campos modificados: Description

    Información establecida por primera vez: Description

  2. Versión de la oportunidad

    Se observó una nueva oportunidad

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

    Licitación: DARPA-SN-27-13

    Publicación: 9702cfee87444ea792404ad280b946e0

    Publicación actual

    Campos modificados: 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. Registro de la oportunidad

    Información inicial

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

    Licitación: DARPA-SN-27-13

    Publicación: 9702cfee87444ea792404ad280b946e0

    Publicación actual

Fuentes oficiales

Aviso en SAM.govsam.gov · Registro oficial del gobierno de EE. UU. (se abre en una pestaña nueva)Texto sin formato

Avisos activos relacionados