Synergy: Collaborative: Security and Privacy-Aware Cyber-Physical Systems
Synergy: Collaborative: Security and Privacy-Aware Cyber-Physical Systems
批准号:
1505799
负责人:
Insup Lee
金额:
$112.5万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-09-01 至 2019-08-31
中文摘要
在日益互联的世界中,安全和隐私问题正受到研究界、政策制定者和公众的广泛关注。 然而,最近和正在进行的大部分工作都集中在通用计算的安全性以及通信和社交互动中的隐私上。 网络物理系统(例如安全关键的物联网)的出现,旨在实现分布式计算智能、通信网络、物理世界和人类参与者之间的紧密集成,为具有先进功能的智能系统开辟了新的视野。 这些系统可以减少事故数量,增加交通网络的吞吐量,提高患者安全,减少护理人员失误,实现个性化治疗,并让老年人在自己的地方安享晚年。与此同时,网络物理系统带来了关于安全、安保和隐私的新挑战和担忧。拟议的项目将带来更安全、更可靠和保护隐私的 CPS。 随着我们的生活越来越依赖这些系统,特别是在汽车、医疗和物联网领域,该项目取得的成果将对整个社会产生直接影响。 对大规模 CPS 部署的新兴法律和道德方面的研究将为未来的政策决策提供信息。 该项目的教育和外展方面将帮助我们建立一支能够更好地满足日益互联和以技术为导向的社会的安全和隐私需求的劳动力队伍。网络物理系统(CPS)涉及通过一个或多个通信网络连接的计算节点、这些节点的物理环境以及系统的人类用户的紧密集成,这些用户与系统的计算部分和物理环境进行交互。对CPS系统的攻击可能会影响其所有组件:计算节点和通信网络会受到恶意入侵,物理环境可能会被恶意改变。 CPS 特定的安全挑战来自两个角度。 一方面,传统的信息安全方法可以用来防止入侵,但攻击者仍然可以通过物理环境影响系统。 许多 CPS 域固有的资源限制可能会阻碍重型安全方法的部署。该提案将开发一个框架,将预防、检测和恢复以及强大的技术结合起来,共同提高 CPS 的安全性和隐私性。 具体的研究产品将包括提供以下技术:1)基于责任的检测和对 CPS 的恶意攻击的有限时间恢复,并辅以基于轻量级密码学的新颖预防技术; 2)基于攻击弹性状态估计器和传感器融合的安全感知控制设计; 3)基于差异隐私的CPS收集和使用的数据的隐私性; 4)基于证据的 CPS 安全和隐私保证框架,考虑到系统的运行环境和人为因素。 案例研究将在具有车辆自主功能、内部和外部车辆网络、医疗设备互操作性和智能互联医疗家庭的应用中进行。
英文摘要
Security and privacy concerns in the increasingly interconnected world are receiving much attention from the research community, policymakers, and general public. However, much of the recent and on-going efforts concentrate on security of general-purpose computation and on privacy in communication and social interactions. The advent of cyber-physical systems (e.g., safety-critical IoT), which aim at tight integration between distributed computational intelligence, communication networks, physical world, and human actors, opens new horizons for intelligent systems with advanced capabilities. These systems may reduce number of accidents and increase throughput of transportation networks, improve patient safety, mitigate caregiver errors, enable personalized treatments, and allow older adults to age in their places. At the same time, cyber-physical systems introduce new challenges and concerns about safety, security, and privacy. The proposed project will lead to safer, more secure and privacy preserving CPS. As our lives depend more and more on these systems, specifically in automotive, medical, and Internet-of-Things domains, results obtained in this project will have a direct impact on the society at large. The study of emerging legal and ethical aspects of large-scale CPS deployments will inform future policy decision-making. The educational and outreach aspects of this project will help us build a workforce that is better prepared to address the security and privacy needs of the ever-more connected and technologically oriented society.Cyber-physical systems (CPS) involve tight integration of computational nodes, connected by one or more communication networks, the physical environment of these nodes, and human users of the system, who interact with both the computational part of the system and the physical environment. Attacks on a CPS system may affect all of its components: computational nodes and communication networks are subject to malicious intrusions, and physical environment may be maliciously altered. CPS-specific security challenges arise from two perspectives. On the one hand, conventional information security approaches can be used to prevent intrusions, but attackers can still affect the system via the physical environment. Resource constraints, inherent in many CPS domains, may prevent heavy-duty security approaches from being deployed. This proposal will develop a framework in which the mix of prevention, detection and recovery, and robust techniques work together to improve the security and privacy of CPS. Specific research products will include techniques providing: 1) accountability-based detection and bounded-time recovery from malicious attacks to CPS, complemented by novel preventive techniques based on lightweight cryptography; 2) security-aware control design based on attack resilient state estimator and sensor fusions; 3) privacy of data collected and used by CPS based on differential privacy; and, 4) evidence-based framework for CPS security and privacy assurance, taking into account the operating context of the system and human factors. Case studies will be performed in applications with autonomous features of vehicles, internal and external vehicle networks, medical device interoperability, and smart connected medical home.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
-
批准号:2143274
-
项目类别:Standard Grant
-
资助金额:$69.2万
-
财政年份:2022
-
负责人:Insup Lee
-
依托单位:
SCC-IRG JST: Active sensing and personalized interventions for pandemic-induced social isolation
-
批准号:2125561
-
项目类别:Continuing Grant
-
资助金额:$75.0万
-
财政年份:2021
-
负责人:Insup Lee
-
依托单位:
SCH: INT: Collaborative Research: Smart Alarms 2.0: Foundations for Caregiver-in-the-loop Suppression of Non-Informative Alarms
-
批准号:1915398
-
项目类别:Standard Grant
-
资助金额:$98.0万
-
财政年份:2019
-
负责人:Insup Lee
-
依托单位:
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
-
批准号:1239324
-
项目类别:Standard Grant
-
资助金额:$12.0万
-
财政年份:2012
-
负责人:Insup Lee
-
依托单位:
Assurance Cases for a Physiologically Closed-Loop PCA Systems
-
批准号:1042829
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2010
-
负责人:Insup Lee
-
依托单位:
CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
-
批准号:1035715
-
项目类别:Continuing Grant
-
资助金额:$495.0万
-
财政年份:2010
-
负责人:Insup Lee
-
依托单位:
CPS:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination
-
批准号:0930647
-
项目类别:Standard Grant
-
资助金额:$66.0万
-
财政年份:2009
-
负责人:Insup Lee
-
依托单位:
CSR-EHCS(CPS) TM: Robust Composition and Interoperability of CPS Components
-
批准号:0834524
-
项目类别:Standard Grant
-
资助金额:$95.0万
-
财政年份:2008
-
负责人:Insup Lee
-
依托单位:
CT-ISG: Collaborative Research: Massive Dataset Algorithmics for Network Security
-
批准号:0716172
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Insup Lee
-
依托单位:
CSR--CPS: Component-based Development of Cyber-Physical Systems
-
批准号:0720703
-
项目类别:Continuing Grant
-
资助金额:$24.5万
-
财政年份:2007
-
负责人:Insup Lee
-
依托单位:
Applying Formal Methods to Improve the Quality of Software in Medical Devices
-
批准号:0610297
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Insup Lee
-
依托单位:
Collaborative Research: CSR-EHS: A Hierarchy of Models for Embedded Software
-
批准号:0509143
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2005
-
负责人:Insup Lee
-
依托单位:
CSR-EHS: Techniques for Assuring the Safety and Reliability of Physical Computing Systems and Applications to Medical Devices
-
批准号:0509327
-
项目类别:Continuing Grant
-
资助金额:$78.0万
-
财政年份:2005
-
负责人:Insup Lee
-
依托单位:
Extracting Traceable Formal Models from Natural Language Policy Documents
-
批准号:0429948
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Insup Lee
-
依托单位:
Testing Based on Hybrid System Models
-
批准号:0209024
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2002
-
负责人:Insup Lee
-
依托单位:
An Integrated Approach to Improving Design-Time and Run-Time Confidence
-
批准号:9988409
-
项目类别:Continuing Grant
-
资助金额:$32.0万
-
财政年份:2000
-
负责人:Insup Lee
-
依托单位:
Hierarchical Specification, Analysis, and Testing of Real-Time Systems
-
批准号:9415346
-
项目类别:Continuing Grant
-
资助金额:$18.91万
-
财政年份:1995
-
负责人:Insup Lee
-
依托单位:
CONCUR '95 - Sixth International Conference on Concurrency Theory; University of Pennsylvania; Philadelphia, PA; August 21-24, 1995
-
批准号:9501225
-
项目类别:Standard Grant
-
资助金额:$0.5万
-
财政年份:1995
-
负责人:Insup Lee
-
依托单位:
Teleconferenced Workstations: Improving Experimentation in Undergraduate Education
-
批准号:9451190
-
项目类别:Standard Grant
-
资助金额:$7.6万
-
财政年份:1994
-
负责人:Insup Lee
-
依托单位:
Using Parallelism and Randomness in the Analysis of Large- Scale Real-Time Systems
-
批准号:9311622
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:1993
-
负责人:Insup Lee
-
依托单位:
海外基金