CAREER: Game-Theoretic Analysis and Design for Cross-Layer Cyber-Physical System Security and Resilience

职业:跨层网络物理系统安全性和弹性的博弈论分析和设计

基本信息

  • 批准号:
    1847056
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2019
  • 资助国家:
    美国
  • 起止时间:
    2019-03-01 至 2025-02-28
  • 项目状态:
    未结题

项目摘要

Cyber-physical systems (CPS) are composed of multi-layer tightly integrated and highly interdependent components. An adversary can exploit the connections between the layers and launch an advanced persistent threat (APT) attack that is accomplished through a set of multi-stage stealthy and continuous hacking processes. Lessons learned from APT attacks have highlighted the fact that the design for perfect security is not always possible or prohibitively expensive, and hence resilience is an equally important mechanism that can complement the imperfect security. The standard analysis tools are insufficient to cope with the complexity of CPS and address the design of security and resilience mechanisms. To this end, the project aims to establish an integrated game-theoretic framework that adopts both reductionist and integrative approaches to engineer high-confidence CPS. The proposed research uses electric power systems and the cloud-enabled autonomous systems as two case studies to illustrate the designs of cyber defense strategies, resilience control mechanisms, and CPS security-aware contracts as the holistic cyber, physical, and human solution to for next-generation high-confidence infrastructure systems. The methodologies developed in the project establish an inter-disciplinary system science to conceptualize and design high-confidence CPS, and expedite the realization of CPS in a wide range of applications including transportation, industrial automation, and the power grid. The project first leverages system engineering principles to create game motifs or gamelets as building blocks and use them to compose a game of games or meta-game to model heterogeneous interactions of system components within the layers, across the layers, and with an adversary. As the perfect security at the cyberspace is not always possible, the project develops a resilient control mechanism to provide an alternative paradigm of protection by maintaining critical functions of the CPS and mitigating the impact of cyber insecurity on the physical layer. At the socio-economic level, the proposed CPS contracts aim to create an incentive-compatible secure provision of CPS services and mitigate security risks by incentivizing proper security management of the service providers and reducing the risks of the users. The research is fully integrated into the educational plan via the incorporation of new courses as well as the training of undergraduate and graduate students via mentoring, participation in test-bed development, special projects, and internships at research labs. The educational tool will foster this integration via new hands-on activities and demonstrations to a broader community. With the aim to increase the participation of high school students, particularly women and minority students in science and engineering, the outreach activities include annual high school student summer camp, girls-in-cybersecurity mentorship program, and the development of educational short films and documentaries.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.
信息物理系统(CPS)由多层紧密集成、高度相互依赖的组件组成。攻击者可以利用各层之间的连接,并通过一系列多阶段的隐身和连续黑客过程发起高级持续威胁(APT)攻击。从APT攻击中吸取的教训强调了一个事实,即完美的安全性设计并不总是可能的,或者代价高昂,因此弹性是一种同样重要的机制,可以补充不完美的安全性。标准的分析工具不足以应对CPS的复杂性和解决安全性和弹性机制的设计。为此,该项目旨在建立一个综合博弈论框架,采用还原论和综合方法来设计高置信度的CPS。拟议的研究使用电力系统和支持云的自治系统作为两个案例研究,以说明网络防御策略、弹性控制机制和CPS安全感知合同的设计,作为下一代高可信度基础设施系统的整体网络、物理和人类解决方案。该项目开发的方法建立了一门跨学科的系统科学,以概念化和设计高置信度的CPS,并加快了CPS在交通、工业自动化和电网等广泛应用中的实现。该项目首先利用系统工程原理创建游戏主题或小游戏作为构建块,并使用它们组成游戏的游戏或元游戏,以模拟系统组件在层内、层间以及与对手的异质交互。由于网络空间的完美安全并不总是可能的,该项目开发了一种弹性控制机制,通过维护CPS的关键功能和减轻网络不安全对物理层的影响来提供另一种保护范例。在社会经济层面,拟议的CPS合同旨在通过激励服务提供商进行适当的安全管理和降低用户的风险,为CPS服务提供一个与激励相容的安全提供,并减轻安全风险。该研究通过纳入新课程,以及通过指导、参与试验台开发、特殊项目和研究实验室实习等方式对本科生和研究生进行培训,完全融入教育计划。教育工具将通过新的实践活动和向更广泛的社区演示来促进这种整合。为了提高高中生,特别是女性和少数族裔学生在科学和工程领域的参与度,拓展活动包括年度高中生夏令营、网络安全女孩指导计划、教育短片和纪录片的开发。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(54)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Cluster Formation in Multiagent Consensus via Dynamic Resilient Graph Games
通过动态弹性图游戏在多智能体共识中形成集群
Distributed and Resilient Planning-Control for Optimal LEO Satellite Constellation Coverage
分布式和弹性规划控制以实现最佳 LEO 卫星星座覆盖
Fundamental Limits of Obfuscation for Linear Gaussian Dynamical Systems: An Information-Theoretic Approach
线性高斯动力系统混淆的基本限制:一种信息论方法
  • DOI:
    10.23919/acc50511.2021.9483148
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Fang, Song;Zhu, Quanyan
  • 通讯作者:
    Zhu, Quanyan
Blackwell Online Learning for Markov Decision Processes
马尔可夫决策过程的布莱克威尔在线学习
Optimal Curing Strategy for Competing Epidemics Spreading Over Complex Networks
针对在复杂网络上传播的竞争性流行病的最佳治愈策略
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Quanyan Zhu其他文献

Deceptive Routing in Relay Networks
中继网络中的欺骗性路由
Performance of Dynamic Secure Routing Game
动态安全路由博弈的性能
Factored markov game theory for secure interdependent infrastructure networks
用于安全相互依赖的基础设施网络的分解马尔可夫博弈论
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Linan Huang;Juntao Chen;Quanyan Zhu
  • 通讯作者:
    Quanyan Zhu
Introduction to the special section on learning and security for multi-agent systems
多智能体系统的学习和安全专题介绍
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    9.4
  • 作者:
    Quanyan Zhu;H. Ishii
  • 通讯作者:
    H. Ishii
Hypothesis Testing Game for Cyber Deception
网络欺骗的假设检验游戏

Quanyan Zhu的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Quanyan Zhu', 18)}}的其他基金

Conference: Workshop on LLM for Network Security
会议:网络安全法学硕士研讨会
  • 批准号:
    2409560
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: Student Travel Support for 2020 Conference on Decision and Game Theory for Security (GameSec)
SaTC:2020 年安全决策与博弈论会议 (GameSec) 的学生旅行支持
  • 批准号:
    2023093
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
RAPID: Effective Resource Planning and Disbursement during the COVID-19 Pandemic
RAPID:COVID-19 大流行期间有效的资源规划和分配
  • 批准号:
    2027884
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for 2018 Conference on Decision and Game Theory for Security (GameSec)
NSF 学生旅费资助 2018 年安全决策与博弈论会议 (GameSec)
  • 批准号:
    1833521
  • 财政年份:
    2018
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: NSF Student Travel Grant for IEEE CNS 2017
SaTC:2017 年 IEEE CNS 的 NSF 学生旅行补助金
  • 批准号:
    1736540
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
EAGER: Behavior-Based Incentive Mechanism Design for Crowd Defense against Phishing Attacks
EAGER:基于行为的激励机制设计,用于群体防御网络钓鱼攻击
  • 批准号:
    1720230
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CPS: Breakthrough: A Meta-Game Theoretic Approach to Cyber-Physical Co-Design of Secure and Resilient Control Systems
CPS:突破:安全和弹性控制系统的网络物理协同设计的元博弈论方法
  • 批准号:
    1544782
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Student Travel Grant for GameSec 2015-2016
GameSec 学生旅费补助金 2015-2016
  • 批准号:
    1558731
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CRISP: Type 1: Reductionist and Integrative Approaches to Improve the Resiliency of Multi-Scale Interdependent Critical Infrastructure
CRISP:类型 1:提高多尺度相互依赖的关键基础设施弹性的还原论和综合方法
  • 批准号:
    1541164
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
EAGER: Renewables: Game-Theoretic Methods for Analysis and Design of Distributed Renewable-Based Energy Resources in Smart Grids
EAGER:可再生能源:智能电网中分布式可再生能源分析和设计的博弈论方法
  • 批准号:
    1550000
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant

相似国自然基金

Galaxy Analytical Modeling Evolution (GAME) and cosmological hydrodynamic simulations.
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
基于 Nash game 法研究奇异 Itô 随机系统的 H2/H∞ 控制
  • 批准号:
    61703248
  • 批准年份:
    2017
  • 资助金额:
    25.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

CAREER: Game Theoretic Models for Robust Cyber-Physical Interactions: Inference and Design under Uncertainty
职业:稳健的网络物理交互的博弈论模型:不确定性下的推理和设计
  • 批准号:
    2336840
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
CAREER: CAS- Climate: An altruistic game theoretic framework to characterize environmental responsiveness of residential electricity consumption
职业:CAS-气候:描述住宅用电环境响应的利他博弈理论框架
  • 批准号:
    2238381
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
CAREER: Multi-scale Multi-population Mean Field Game-Theoretic Framework for the Autonomous Mobility Ecosystem
职业:自主移动生态系统的多尺度多群体平均场博弈论框架
  • 批准号:
    1943998
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: Game Theoretic Methods for Multiagent Coordination
职业:多智能体协调的博弈论方法
  • 批准号:
    1638214
  • 财政年份:
    2016
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: Game Theoretic Methods for Multiagent Coordination
职业:多智能体协调的博弈论方法
  • 批准号:
    1351866
  • 财政年份:
    2014
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: A dynamic game theoretic approach to cyber-security of controlled systems
职业:受控系统网络安全的动态博弈论方法
  • 批准号:
    1151076
  • 财政年份:
    2012
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: Self-Organizing Demand Side Management for Smart Grid: A Dynamic Game-Theoretic Framework
职业:智能电网的自组织需求侧管理:动态博弈论框架
  • 批准号:
    1149735
  • 财政年份:
    2012
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: Self-Organizing Demand Side Management for Smart Grid: A Dynamic Game-Theoretic Framework
职业:智能电网的自组织需求侧管理:动态博弈论框架
  • 批准号:
    1253516
  • 财政年份:
    2012
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: New Directions in Computing Game-Theoretic Solutions: Commitment and Related Topics
职业:计算博弈论解决方案的新方向:承诺和相关主题
  • 批准号:
    0953756
  • 财政年份:
    2010
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
CAREER: Game Theoretic Models for Cooperation in Wireless Networks
职业:无线网络合作的博弈论模型
  • 批准号:
    0448131
  • 财政年份:
    2005
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了