• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE Computer Security Foundations Symposium >A Formal Approach to Cyber-Physical Attacks
【24h】

A Formal Approach to Cyber-Physical Attacks

机译：一种用于网络物理攻击的正式方法

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on integrity and DoS attacks to sensors and actuators of CPSs, and on the timing aspects of these attacks. Our contributions are threefold: (1) we define a hybrid process calculus to model both CPSs and cyber-physical attacks; (2) we define a threat model of cyber-physical attacks and provide the means to assess attack tolerance/vulnerability with respect to a given attack; (3) we formalise how to estimate the impact of a successful attack on a CPS and investigate possible quantifications of the success chances of an attack. We illustrate definitions and results by means of a non-trivial engineering application.
机译：我们采用正式的方法来奠定和简化理论上的理论基础，以推理网络 - 物理系统（CPS）和网络物理攻击。我们专注于CPSS的传感器和执行器的完整性和DOS攻击，以及这些攻击的时序方面。我们的贡献是三倍：（1）我们定义了混合过程结石，以模拟CPS和网络物理攻击; （2）我们定义网络物理攻击的威胁模型，并提供了对给定攻击的攻击公差/漏洞的手段; （3）我们正规化如何估计成功攻击对CPS的影响，并调查攻击成功机会的可能量化。我们通过非琐碎的工程应用说明定义和结果。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号