首页> 外文会议>International symposium on leveraging applications of formal method, verification and validation >Opportunities and Challenges in Monitoring Cyber-Physical Systems Security
【24h】

Opportunities and Challenges in Monitoring Cyber-Physical Systems Security

机译:监视网络物理系统安全的机会和挑战

获取原文

摘要

Technological advances in distributed cyber-physical systems (CPS) will fundamentally alter the way present and future human societies lead their lives. Prom 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.
机译:分布式网络物理系统(CPS)的技术进步将从根本上改变当前和未来人类社会的生活方式。从安全或隐私的角度来看,(多主体)网络物理系统是传感器,执行器和计算节点的网络,即具有多个攻击面和潜在漏洞的系统,这些漏洞都是通过软件攻击和物理攻击产生的。在本文中,我们认为迫切需要在多代理CPS的软件开发中带来一种范式转变。为此,应将安全性和隐私策略作为代理程序接口的重要组成部分,以确保每个代理程序都具有本地化的安全性和隐私性,并确保全局系统的安全性和安全性。我们提出了对新理论,算法和工具的愿景,以促进按设计安全的多代理CPS的文化。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号