CPS: Synergy: Collaborative Research: Foundations of Secure Cyber-Physical Systems of Systems
CPS:协同:协作研究:安全网络物理系统的基础
基本信息
- 批准号:1901728
- 负责人:
- 金额:$ 17.41万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2018
- 资助国家:美国
- 起止时间:2018-08-16 至 2021-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Factories, chemical plants, automobiles, and aircraft have come to be described today as cyber-physical systems of systems--distinct systems connected to form a larger and more complex system. For many such systems, correct operation is critical to safety, making their security of paramount importance. Unfortunately, because of their heterogeneous nature and special purpose, it is very difficult to determine whether a malicious attacker can make them behave in a manner that causes harm. This type of security analysis is an essential step in building and certifying secure systems.Unfortunately, today's state of the art security analysis tools are tailored to the analysis of server, desktop, and mobile software. We currently lack the tools for analyzing the security of cyber physical systems of systems. The proposed work will develop new techniques for testing and analyzing security properties of such systems. These techniques will be used to build a new generation of tools that can handle the complexity of modern cyber-physical systems and thus make these critical systems more secure.The technical approach taken by the investigators is to applying proven dynamic analysis techniques, including dynamic information flow tracking and symbolic execution, to this problem. Existing tools, while powerful, are monolithic, designed to apply a single technique to a single system. Scaling them to multiple heterogeneous systems is the main contribution of the proposed work. To do so, the investigators will develop a common platform for cross-system dynamic analysis supporting arbitrary combinations of component execution modes (physical, simulated, and emulated), requiring new coordination mechanisms. Second, building on the platform above, they will implement cross-system dynamic information flow tracking, allowing dynamic information flow tracking across simulated, emulated, and potentially physical components. Third, they will extend existing symbolic/concrete execution techniques to execution across multiple heterogeneous systems. Fourth, they will introduce new ways of handling special-purpose hardware, a problem faced by dynamic analysis tools in general.
今天,工厂、化工厂、汽车和飞机已经被描述为系统的网络物理系统——不同的系统连接起来形成一个更大、更复杂的系统。对于许多这样的系统,正确的操作对安全至关重要,使其安全性至关重要。不幸的是,由于它们的异构性质和特殊目的,很难确定恶意攻击者是否可以使它们以造成伤害的方式行为。这种类型的安全性分析是构建和认证安全系统的必要步骤。不幸的是,目前最先进的安全分析工具都是针对服务器、桌面和移动软件进行分析的。我们目前缺乏分析网络物理系统安全性的工具。拟议的工作将开发用于测试和分析此类系统安全特性的新技术。这些技术将用于构建新一代工具,这些工具可以处理现代网络物理系统的复杂性,从而使这些关键系统更加安全。研究人员采用的技术方法是应用经过验证的动态分析技术,包括动态信息流跟踪和符号执行,来解决这个问题。现有的工具虽然功能强大,但都是单一的,旨在将单一技术应用于单一系统。将它们扩展到多个异构系统是本文的主要贡献。为此,研究人员将开发一个跨系统动态分析的通用平台,支持组件执行模式(物理的、模拟的和仿真的)的任意组合,这需要新的协调机制。其次,在上述平台的基础上,它们将实现跨系统动态信息流跟踪,允许跨模拟、仿真和潜在物理组件进行动态信息流跟踪。第三,它们将扩展现有的符号/具体执行技术,以跨多个异构系统执行。第四,它们将引入处理专用硬件的新方法,这是动态分析工具通常面临的问题。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Stephen Checkoway其他文献
Putting Out a HIT: Crowdsourcing Malware Installs
发起攻击:众包恶意软件安装
- DOI:
- 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
Chris Kanich;Stephen Checkoway;K. Mowery - 通讯作者:
K. Mowery
Escape From Return-Oriented Programming : Return-oriented Programming without Returns ( on the x 86 )
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
Stephen Checkoway - 通讯作者:
Stephen Checkoway
Risk-limiting Audits and the Margin of Victory in Nonplurality Elections
风险限制审计和非多数选举的胜利余地
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
A. Sarwate;Stephen Checkoway;H. Shacham - 通讯作者:
H. Shacham
A Systematic Analysis of the Juniper Dual EC Incident
Juniper双EC事件系统分析
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
Stephen Checkoway;Shaanan N. Cohney;Christina Garman;M. Green;N. Heninger;Jacob Maskiewicz;E. Rescorla;H. Shacham;R. Weinmann - 通讯作者:
R. Weinmann
Sentinel: Secure Mode Profiling and Enforcement for Embedded Systems
Sentinel:嵌入式系统的安全模式分析和实施
- DOI:
10.1109/iotdi.2018.00020 - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
P. Martin;David Russell;A. Rubin;Stephen Checkoway;M. B. Salem - 通讯作者:
M. B. Salem
Stephen Checkoway的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Stephen Checkoway', 18)}}的其他基金
CPS: Synergy: Collaborative Research: Foundations of Secure Cyber-Physical Systems of Systems
CPS:协同:协作研究:安全网络物理系统的基础
- 批准号:
1646063 - 财政年份:2016
- 资助金额:
$ 17.41万 - 项目类别:
Standard Grant
相似国自然基金
微尺度光-酶协同催化流动反应过程及其强化机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
高温蠕变与疲劳协同作用下多裂纹扩展寿命算法研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于复合相变界面材料及微通道结构调控协同散热研究
- 批准号:JCZRLH202500111
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于重大疫病多点触发医防融合防控策略研究
- 批准号:JCZRLH202501258
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
无人集群协同地下空间探索与建图
- 批准号:JCZRYB202500481
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
放疗联合CAR-T细胞治疗协同效应的免疫学机制
- 批准号:JCZRLH202500046
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于等离子体协同催化的氨燃料重整技术研究
- 批准号:JCZRLH202500823
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
抑制GLRX2协同雄激素疗法治疗去势抵抗性前列腺癌的机制研究
- 批准号:JCZRLH202500112
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
酵母可溶性多糖协同益生菌增效机制的研究
- 批准号:JCZRLH202500927
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
磁场诱导二维材料光催化析氢与热电输运性能协同增强研究
- 批准号:JCZRLH202501259
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
相似海外基金
CPS: Synergy: Collaborative Research: Towards Effective and Efficient Sensing-Motion Co-Design of Swarming Cyber-Physical Systems
CPS:协同:协作研究:实现集群网络物理系统的有效和高效的传感-运动协同设计
- 批准号:
1936599 - 财政年份:2019
- 资助金额:
$ 17.41万 - 项目类别:
Standard Grant
CPS: Synergy: Collaborative Research: DEUS: Distributed, Efficient, Ubiquitous and Secure Data Delivery Using Autonomous Underwater Vehicles
CPS:协同:协作研究:DEUS:使用自主水下航行器进行分布式、高效、无处不在和安全的数据传输
- 批准号:
1853257 - 财政年份:2018
- 资助金额:
$ 17.41万 - 项目类别:
Standard Grant
CPS: Synergy: Collaborative Research: TickTalk: Timing API for Federated Cyberphysical Systems
CPS:协同:协作研究:TickTalk:联合网络物理系统的计时 API
- 批准号:
1645578 - 财政年份:2018
- 资助金额:
$ 17.41万 - 项目类别:
Standard Grant
CPS: Synergy: Collaborative Research: TickTalk: Timing API for Federated Cyberphysical Systems
CPS:协同:协作研究:TickTalk:联合网络物理系统的计时 API
- 批准号:
1646235 - 财政年份:2018
- 资助金额:
$ 17.41万 - 项目类别:
Standard Grant
CPS: Synergy: Collaborative Research: Control of Vehicular Traffic Flow via Low Density Autonomous Vehicles
CPS:协同:协作研究:通过低密度自动驾驶车辆控制车流
- 批准号:
1854321 - 财政年份:2018
- 资助金额:
$ 17.41万 - 项目类别:
Standard Grant
CPS: TTP Option: Synergy: Collaborative Research: An Executable Distributed Medical Best Practice Guidance (EMBG) System for End-to-End Emergency Care from Rural to Regional Center
CPS:TTP 选项:协同:协作研究:用于从农村到区域中心的端到端紧急护理的可执行分布式医疗最佳实践指导 (EMBG) 系统
- 批准号:
1842710 - 财政年份:2018
- 资助金额:
$ 17.41万 - 项目类别:
Continuing Grant
CPS: Medium: Collaborative Research: Synergy: Augmented reality for control of reservation-based intersections with mixed autonomous-non autonomous flows
CPS:中:协作研究:协同作用:用于控制具有混合自主-非自主流的基于预留的交叉口的增强现实
- 批准号:
1739964 - 财政年份:2018
- 资助金额:
$ 17.41万 - 项目类别:
Continuing Grant
CPS: Synergy: Collaborative Research: MRI Powered & Guided Tetherless Effectors for Localized Therapeutic Interventions
CPS:协同作用:协作研究:MRI 驱动
- 批准号:
1646566 - 财政年份:2017
- 资助金额:
$ 17.41万 - 项目类别:
Standard Grant
Synergy: Collaborative: CPS-Security: End-to-End Security for the Internet of Things
协同:协作:CPS-安全:物联网的端到端安全
- 批准号:
1822332 - 财政年份:2017
- 资助金额:
$ 17.41万 - 项目类别:
Continuing Grant
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems
CPS:协同:协作研究:支持可编程物联网系统的安全性
- 批准号:
1646392 - 财政年份:2017
- 资助金额:
$ 17.41万 - 项目类别:
Standard Grant