CAREER: Game-Theoretic Analysis and Design for Cross-Layer Cyber-Physical System Security and Resilience
CAREER: Game-Theoretic Analysis and Design for Cross-Layer Cyber-Physical System Security and Resilience
批准号:
1847056
负责人:
Quanyan Zhu
金额:
$50.0万
依托单位:
依托单位国家:
美国
项目类别:
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.
期刊论文(54)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Cluster Formation in Multiagent Consensus via Dynamic Resilient Graph Games
通过动态弹性图游戏在多智能体共识中形成集群
DOI:
10.1109/ccta48906.2021.9659182
发表时间:
2021
期刊:
2021 IEEE Conference on Control Technology and Applications (CCTA
影响因子:
--
作者:
[Nugraha, Yurid, Cetinkaya, Ahmet, Hayakawa, Tomohisa, Ishii, Hideaki, Zhu, Quanyan]
通讯作者:
Zhu, Quanyan
Distributed and Resilient Planning-Control for Optimal LEO Satellite Constellation Coverage
分布式和弹性规划控制以实现最佳 LEO 卫星星座覆盖
DOI:
10.23919/acc53348.2022.9867536
发表时间:
2022
期刊:
2022 American Control Conference (ACC
影响因子:
--
作者:
[Zhao, Yuhan, Zhu, Quanyan]
通讯作者:
Zhu, Quanyan
Fundamental Limits of Obfuscation for Linear Gaussian Dynamical Systems: An Information-Theoretic Approach
线性高斯动力系统混淆的基本限制:一种信息论方法
DOI:
10.23919/acc50511.2021.9483148
发表时间:
2021
期刊:
ACC 2021
影响因子:
--
作者:
[Fang, Song, Zhu, Quanyan]
通讯作者:
Zhu, Quanyan
Blackwell Online Learning for Markov Decision Processes
马尔可夫决策过程的布莱克威尔在线学习
DOI:
10.1109/ciss50987.2021.9400319
发表时间:
2021
期刊:
2021 55th Annual Conference on Information Sciences and Systems (CISS
影响因子:
--
作者:
[Li, Tao, Peng, Guanze, Zhu, Quanyan]
通讯作者:
Zhu, Quanyan
Optimal Curing Strategy for Competing Epidemics Spreading Over Complex Networks
针对在复杂网络上传播的竞争性流行病的最佳治愈策略
DOI:
10.1109/tsipn.2021.3075338
发表时间:
2021
期刊:
IEEE Transactions on Signal and Information Processing over Networks
影响因子:
3.2
作者:
[Chen, Juntao, Huang, Yunhan, Zhang, Rui, Zhu, Quanyan]
通讯作者:
Zhu, Quanyan
共 50 条
Conference: Workshop on LLM for Network Security
-
批准号:2409560
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2024
-
负责人:Quanyan Zhu
-
依托单位:
SaTC: Student Travel Support for 2020 Conference on Decision and Game Theory for Security (GameSec)
-
批准号:2023093
-
项目类别:Standard Grant
-
资助金额:$0.8万
-
财政年份:2020
-
负责人:Quanyan Zhu
-
依托单位:
RAPID: Effective Resource Planning and Disbursement during the COVID-19 Pandemic
-
批准号:2027884
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2020
-
负责人:Quanyan Zhu
-
依托单位:
NSF Student Travel Grant for 2018 Conference on Decision and Game Theory for Security (GameSec)
-
批准号:1833521
-
项目类别:Standard Grant
-
资助金额:$0.8万
-
财政年份:2018
-
负责人:Quanyan Zhu
-
依托单位:
SaTC: NSF Student Travel Grant for IEEE CNS 2017
-
批准号:1736540
-
项目类别:Standard Grant
-
资助金额:$1.8万
-
财政年份:2017
-
负责人:Quanyan Zhu
-
依托单位:
EAGER: Behavior-Based Incentive Mechanism Design for Crowd Defense against Phishing Attacks
-
批准号:1720230
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2017
-
负责人:Quanyan Zhu
-
依托单位:
CPS: Breakthrough: A Meta-Game Theoretic Approach to Cyber-Physical Co-Design of Secure and Resilient Control Systems
-
批准号:1544782
-
项目类别:Standard Grant
-
资助金额:$28.15万
-
财政年份:2015
-
负责人:Quanyan Zhu
-
依托单位:
Student Travel Grant for GameSec 2015-2016
-
批准号:1558731
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2015
-
负责人:Quanyan Zhu
-
依托单位:
CRISP: Type 1: Reductionist and Integrative Approaches to Improve the Resiliency of Multi-Scale Interdependent Critical Infrastructure
-
批准号:1541164
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2015
-
负责人:Quanyan Zhu
-
依托单位:
EAGER: Renewables: Game-Theoretic Methods for Analysis and Design of Distributed Renewable-Based Energy Resources in Smart Grids
-
批准号:1550000
-
项目类别:Standard Grant
-
资助金额:$29.99万
-
财政年份:2015
-
负责人:Quanyan Zhu
-
依托单位:
RIPS: Type I: A Meta-Network System Framework for Resilient Analysis and Design of Interdependent Critical Infrastructures
-
批准号:1441140
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2014
-
负责人:Quanyan Zhu
-
依托单位:
GameSec 2014 Student Travel Support
-
批准号:1448874
-
项目类别:Standard Grant
-
资助金额:$0.5万
-
财政年份:2014
-
负责人:Quanyan Zhu
-
依托单位:
国内基金
海外基金
Galaxy Analytical Modeling
Evolution (GAME) and cosmological
hydrodynamic simulations.
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2025
-
负责人:Antonios Katsianis
-
依托单位:
基于 Nash game 法研究奇异 Itô 随机系统的 H2/H∞ 控制
-
批准号:61703248
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2017
-
负责人:赵勇
-
依托单位: