Opportunities and Challenges in Monitoring Cyber-Physical Systems Security
Opportunities and Challenges in Monitoring Cyber-Physical Systems Security
复制标题
监控网络物理系统安全的机遇和挑战
DOI：
10.1007/978.3.642.19835.9.21
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Pajic, Miroslav
中科院分区：
文献类型：
--
作者：
Bonakdarpour, Borzoo;Deshmukh, Jyotirmoy V.;Pajic, Miroslav
分布式网络物理系统（CPS）的技术进步将从根本上改变现在和未来人类社会的生活方式。从安全或隐私的角度来看，（多代理）网络物理系统是传感器，执行器和计算节点的网络，即，一个具有多个攻击面和潜在漏洞的系统，这些漏洞来自软件攻击和物理攻击。在本文中，我们认为，我们迫切需要带来的多代理CPS软件开发的范式转变。为此，安全和隐私政策应成为代理接口的一个关键组成部分，其目标是确保每个代理的本地安全和隐私，以及保证全球系统的安全和保障。我们提出了我们对新理论，算法和工具的看法，以促进文化的安全设计多代理CPS。
Technological advances in distributedcyber-physical systems(CPS) will fundamentally alter the way present and future human societies lead their lives. From a security or privacy perspective, a (multi-agent) cyber-physical system is a network of sensors, actuators, and computation nodes, i.e., a system with multiple attack surfaces and latent exploits that originate both through software attacks and physical attacks. In this paper, we argue that we are in pressing need to bring about a paradigm shift in software development for multi-agent CPS. To this end, security and privacy policies should be made a critical ingredient of agent interfaces with a goal of ensuring both localized safety and privacy for each agent, as well as guaranteeing global system safety and security. We present our vision on new theory, algorithms, and tools to foster a culture of secure-by-design multi-agent CPS.
登录
查看更多内容
HyperLTL 的运行时验证
DOI：
10.1007/978-3-319-46982-9_4
发表时间：
2016
期刊：
J. Comput. Secur.
影响因子：
--
作者：
Borzoo Bonakdarpour;B. Finkbeiner
通讯作者：
B. Finkbeiner
概率要求下的网络物理系统设计的随机契约
DOI：
10.1145/3127041.3127045
发表时间：
2017
期刊：
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
影响因子：
--
作者：
Jiwei Li;P. Nuzzo;A. Sangiovanni;Y. Xi;Dewei Li
通讯作者：
Dewei Li
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
S. Savage
通讯作者：
S. Savage
DOI：
10.1136/ebmh.11.4.102
发表时间：
2008-10
期刊：
Evidence Based Mental Health
影响因子：
--
作者：
P. Cochat;L. Vaucoret;J. Sarles
通讯作者：
P. Cochat;L. Vaucoret;J. Sarles
从信号时序逻辑到 FPGA 监视器
DOI：
10.1109/memcod.2015.7340489
发表时间：
2015
期刊：
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
影响因子：
--
作者：
Stefan Jakšić;E. Bartocci;R. Grosu;R. Kloibhofer;Thang Nguyen;D. Ničković
通讯作者：
D. Ničković