PWND² 将开发新兴通信路径的正式模型,从根本上改善在现实世界中部署和检测强大且有弹性的隐藏网络的方式。该计划将软件定义的网络方法与正式方法相结合,为大规模的隐藏通信系统提供可证明的隐私和性能保证。
美国国防部高级研究计划局(DARPA)正在征集软件定义网络、形式化方法和隐私等技术领域的创新提案,以开发为隐藏通信系统提供可证明保证的技术。要求研究应调查能使科学、设备或系统取得革命性进步的创新方法。不包括主要是对现有实践状态进行改进的研究。
隐蔽通信系统(HCS)是国家安全和互联网自由社区的重要组成部分。然而,尽管隐蔽式通信系统对于国家安全态势和全球开放式通信非常重要,但现行的隐蔽式通信系统设计方法不够完善。现代隐蔽式通信系统的开发仍然是一个手工操作的过程;系统的设计采用临时技术,通过经验性测试进行验证,在部署时无法保证用户保持隐蔽状态。
PWND²
PWND²项目的目的是开发形式化的模型,以描述和理解新兴的通信路径(即“ Weird Network ”),并通过这些模型来显著改善隐藏通信系统的部署和检测方式,特别是在实际环境中实现这些系统的鲁棒性和适应性。
PWND²项目将使用软件定义网络(SDN)和形式化方法来为隐藏通信系统提供可验证的隐私和性能保证,并在有意义的规模上实现这些保证。
建模:使用严格的领域特定语言(DSL)对隐藏通信系统进行建模,以捕捉其行为和需求。这将涉及对已知的“奇怪网络”(weird networks)进行采样,这些网络可能在网络堆栈的任何层面上出现,并验证假设是否适用于不同的新兴行为。 分析:开发基于形式化方法的分析工具,以考虑性能和隐私之间的权衡,并提供多种保证。这些工具将用于分析在奇怪网络上运行的应用程序,并确保它们在面对各种潜在对手时保持鲁棒性和适应性。
验证:通过测试环境中的测量来验证保证。PWND2将使用经验测试范围和高度可扩展的现实模拟框架来建立网络基线,并根据对手模型进行测量。
实验:通过一系列由测试与评估(T&E)团队提供的、复杂程度逐渐增加的隐藏通信系统挑战问题来测试假设,包括提供网络流量示例、源代码、对手能力和行动的描述,以及挑战问题的可执行实例化。
评估:通过一系列复杂的挑战问题来衡量项目进展,这些挑战问题旨在测试系统在不同规模和不同类型奇怪网络通道下的性能和隐私保证。
通过这些方法,PWND²项目旨在提高隐藏通信系统的部署和检测的效率和有效性,同时确保它们能够在不断变化的网络环境中保持安全和隐私。
PWND²项目中隐蔽通信系统(HCS)关键点
PWND²项目中的隐蔽通信系统(Hidden Communication Systems, HCS)是指在网络中通过非常规或未预期的通信路径进行数据传输的系统。这些系统旨在隐藏通信的存在或内容,以避免被检测、监控或审查。PWND²项目的核心目标是开发形式化的模型,以改进这些系统的部署和检测方式,并确保它们在实际网络环境中具有鲁棒性和适应性。
技术假设 模型和分析 挑战问题 实验计划 评估 公开可用的工具和系统 已知的异常网络案例 网络属性 对手能力
综上所述,PWND²项目中的隐蔽通信系统是通过软件定义网络和形式化方法来建模和分析的,以确保它们在面对各种潜在对手时保持鲁棒性和适应性。
数据建设
电话:010-84645772
网站:www.milthink.com