Dept Of Defense- Defense Advanced Research Projects Agency ( Darpa)- Def Advanced Research Projects Agcy
Artificial Intelligence Research
Request for Information ( RFI): Verification and Compliance Checking for Natural- Language Network Requirements ( FastVacc) - 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
Request for Information ( RFI) on verification and compliance checking for natural- language network requirements Approaches, tools, and practices for reducing time and cost of verifiable compliance checking; natural language understanding, reasoning, and evaluation of network requirements; formal system design; metrics for progress assessment; datasets
Bid Close Date: