Program关键词检索结果

SMOKE:使用操作知识和环境进行签名管理

SMOKE: Signature Managements using Operational Knowledge and Environments

项目负责人:Tejas Patel 先生 赞助组织:DARPA网站:https://www.darpa.mil/program/signature-management-using-operational-knowledge-and-environments 项目概要:SMOKE 旨在开发数据驱动的工具,以生成网络所需的威胁模拟网络基础设施

案例:网络保证系统工程

CASE: Cyber Assured Systems Engineering

项目负责人:威廉·马丁先生 赞助组织:DARPA网站:https://www.darpa.mil/program/cyber-assured-systems-engineering 项目概要:CASE 的目标是开发必要的设计、分析和验证工具,使系统工程师能够融入网络弹性并管理权衡

ARCOS:软件的自动快速认证

ARCOS: Automated Rapid Certification of Software

项目负责人:威廉·马丁先生 赞助组织:DARPA网站:https://www.darpa.mil/program/automated-rapid-certification-of-software 项目概要:ARCOS 的目标是自动评估软件保证证据,以帮助认证人员快速确定系统风险是否可以接受。ARCOS

HARDEN:针对新兴执行引擎强化开发工具链

HARDEN: Hardening Development Toolchains Against Emergent Execution Engines

项目负责人:Sergey Bratus 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/hardening-development-toolchains-against-emergent-execution-engines 项目概要:HARDEN 将探索新颖的理论和方法,并寻求开发实用工具,以预测、隔离和缓解

CHESS:计算机和人类探索软件安全

CHESS: Computers and Humans Exploring Software Security

项目负责人:威廉·马丁先生 赞助组织:DARPA网站:https://www.darpa.mil/program/computers-and-humans-exploring-software-security 项目概要:CHESS 旨在开发以可扩展、及时和一致的方式发现和解决所有类型软件漏洞的能力

D3M:数据驱动的模型发现

D3M: Data-Driven Discovery of Models

项目负责人:Joshua Elliott 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/data-driven-discovery-of-models 项目概要:D3M 旨在开发自动模型发现系统,使具有主题专业知识但没有数据科学背景的用户能够创建经验模型

RED:欺骗的逆向工程

RED: Reverse Engineering of Deceptions

项目负责人:布鲁斯·德雷珀博士 赞助组织:DARPA网站:https://www.darpa.mil/program/reverse-engineering-of-deceptions 项目概要:机器学习技术在训练时和部署时容易受到对抗性欺骗。人类也容易被欺骗

REPO:概率组织的熵减少

REPO: Reduction of Entropy for Probabilistic Organization

项目负责人:Daniel Ridge 先生 赞助组织:DARPA网站:https://www.darpa.mil/program/reduction-of-entropy-for-probabilistic-organization 项目概要:REPO 旨在开发技术,使分析师能够处理包含

SocialCyber​​:混合 AI 保护开源代码的完整性

SocialCyber: Hybrid AI to Protect Integrity of Open Source Code

项目负责人:Sergey Bratus 博士 赞助机构:DARPA网站:https://www.darpa.mil/program/hybrid-ai-to-protect-integrity-of-open-source-code项目概要:国防部依赖其整个供应链中的开源软件 (OSS),包括操作系统、虚拟化系统、虚拟机管理程序和

ASKE:自动化科学知识提取

ASKE: Automating Scientific Knowledge Extraction

项目负责人:Joshua Elliott 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/automating-scientific-knowledge-extraction 项目概要:ASKE 致力于开发技术,使一些科学知识发现、整理和应用的手动过程实现自动化。目标是

KAIROS:基于模式的知识导向人工智能推理

KAIROS: Knowledge-directed Artificial Intelligence Reasoning Over Schemas

项目负责人:William Corvey 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/knowledge-directed-artificial-intelligence-reasoning-over-schemas 项目概要:KAIROS 旨在开发一种基于模式的 AI 系统,可以识别复杂事件并引起用户的注意。

SD2:协同发现和设计

SD2: Synergistic Discovery and Design

项目负责人:Joshua Elliott 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/synergistic-discovery-and-design 项目概要:SD2 将解决缺乏完整模型的领域的设计问题。 SD2 旨在开发数据驱动的方法来自动发现模型并进行改进

LINC:学习内省控制

LINC: Learning Introspective Control

项目负责人:John-Francis Mergen 先生 赞助机构:DARPA网站:https://www.darpa.mil/program/learning-introspective-control 项目概要:LINC 旨在开发基于机器学习的内省技术,使物理系统成为可能——特别关注地面车辆、船舶、无人机

GARD:保证 AI 的抗欺骗鲁棒性

GARD: Guaranteeing AI Robustness Against Deception

项目负责人:Bruce Draper 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/guaranteeing-ai-robustness-against-deception 项目概要:GARD 致力于建立理论机器学习 (ML) 系统基础,以识别系统漏洞,描述将

XAI:可解释的人工智能

XAI: Explainable Artificial Intelligence

项目负责人:Matt Turek 博士 赞助组织:DARPA网站:https://www.darpa.mil/program/explainable-artificial-intelligence 项目概要:能够自行感知、学习、决策和行动的自主系统即将问世;然而,他们目前无法解释他们的决定和

确保自主性

Assured Autonomy

项目负责人:威廉·马丁先生 赞助组织:DARPA网站:https://www.darpa.mil/program/assured-autonomy 项目概要:保证自主计划的目标是创建用于持续保证学习型网络物理系统 (LE-CPS) 的技术。持续保证的定义

南方陆军和伙伴国家达成 PISAJ 16

Army South and partner nations conclude PISAJ 16

佐治亚州本宁堡 – 美国南方陆军领导的“Programa Integral para Suboficiales de Alta Jerarquía”(PISAJ)经过 11 天的努力于昨天结束......

Deep Cognition 的合作伙伴计划

Deep Cognition’s Partnership Program

Deep Cognition 合作伙伴计划旨在为技术集成商提供 Deep Cognition 先进的 AI 技术,并共同为客户提供更先进、更高效的体验。我们共同加强现有客户关系,创造新的收入来源,并展示现有网络和系统的自动化。此次发布反映了 Deep Cognition 对 […]The post Deep Cognition’s Partnership Program appeared first on 。