NSF/ENG/ECCS-BSF: Collaborative Research: Foundations of secure multi-agent networked systems

NSF/ENG/ECCS-BSF：协作研究：安全多代理网络系统的基础

基本信息

批准号：
1809076
负责人：
Mohamed-Ali Belabbas
金额：
$ 22万
依托单位：
University of Illinois at Urbana-Champaign
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2018
资助国家：
美国
起止时间：
2018-09-01 至 2022-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1809076&HistoricalAwards=false
关键词：
NSF ENG ECCS BSF Collaborative

项目摘要

The goal of this research project is to develop a new framework for the design of secure multi-agent systems along with the tools necessary for their analysis. The rapid pace of innovation in the areas of control theory, computation, and communication is leading the way for a new class of networked systems characterized by their complex interconnections, diversity of components, and interactions with the physical world. The potential benefits of these networked systems from environmental, economic, and social perspectives are however limited by the ability to secure them. There are currently many efforts under way to address the underlying security issues by ways of developing secure communication protocols and procedures. The PIs take a different point of view here: instead of developing methods to secure existing systems, they develop methods to design systems that are inherently secure and embedded with breach detection mechanisms. The PIs thus expand the secure-by-design philosophy popular in software engineering to the design of networked dynamical systems. In terms of applications, the proposed research program will significantly push forward the frontiers of secure design of cyber-physical systems, furthering their use across many domains including critical infrastructures such as transportation networks, power generation and distribution networks, water and gas distribution networks. The PIs will also contribute to educational outreach by developing new interactive modules, focusing on security issues of CPS for high school students, and mentoring graduate and undergraduate students.The proposed program is built upon three overarching principles: (i) control the information given to the agents, (ii) embed the agents with hidden security measures, and (iii) make the dynamics robust and resilient. More specifically, for the first principle, the PIs propose to establish a theoretical framework with novel design methodologies that can localize and encode both information and objectives for the agents. For the second principle, the PIs propose to embed the networked system with security measures that allow to detect easily tampering with large signals and its effect on the agents. These security measures can be certain functions that are designed to maintain invariant values over time and are locally computable by the agents. For the third principle, the PIs propose to leverage robust control theory for dealing with small attack injections, and moreover, introduce a novel controllability notion with provable guarantees on state attack recovery. In terms of intellectual merit, the proposed program will unify and exploit research in mathematics, namely integrating the study of symmetries in dynamical systems, completely integrable systems, and Hamiltonian dynamics, with engineering tools to develop methods to detect and foil attacks on a system. As such, it will establish new and deepen existing connections between mathematics, especially geometry and dynamical systems, and the study of cyber-physical systems.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该研究项目的目标是开发一个用于设计安全多代理系统的新框架以及分析所需的工具。控制理论、计算和通信领域的快速创新正在引领新型网络系统的发展，其特点是复杂的互连、组件的多样性以及与物理世界的交互。然而，从环境、经济和社会角度来看，这些网络系统的潜在好处受到保护它们的能力的限制。目前正在进行许多努力，通过开发安全通信协议和程序来解决潜在的安全问题。 PI 在这里采取不同的观点：他们不是开发方法来保护现有系统，而是开发方法来设计本质上安全并嵌入违规检测机制的系统。因此，PI 将软件工程中流行的安全设计理念扩展到网络动态系统的设计。在应用方面，拟议的研究计划将显着推进网络物理系统安全设计的前沿，进一步推动其在许多领域的使用，包括运输网络、发电和配电网络、供水和天然气分配网络等关键基础设施。 PI 还将通过开发新的互动模块、重点关注高中生 CPS 的安全问题以及指导研究生和本科生来促进教育推广。拟议的计划建立在三个总体原则之上：(i) 控制向代理，(ii) 为代理嵌入隐藏的安全措施，(iii) 使动态变得强大和有弹性。更具体地说，对于第一个原则，PI 建议建立一个具有新颖设计方法的理论框架，可以为智能体本地化和编码信息和目标。对于第二个原则，PI 建议在网络系统中嵌入安全措施，以便能够轻松检测大信号的篡改及其对代理的影响。这些安全措施可以是某些函数，这些函数被设计为随着时间的推移保持不变的值并且可以由代理本地计算。对于第三个原则，PI建议利用鲁棒控制理论来处理小型攻击注入，此外，引入一种新颖的可控性概念，对状态攻击恢复提供可证明的保证。在智力价值方面，拟议的计划将统一和利用数学研究，即将动力系统、完全可积系统和哈密顿动力学中的对称性研究与工程工具相结合，以开发检测和挫败系统攻击的方法。因此，它将在数学（特别是几何和动力系统）与网络物理系统研究之间建立新的、深化的现有联系。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力优势和能力进行评估，被认为值得支持。更广泛的影响审查标准。