发帖
雷达卡
摘要翻译：
为了确保信息物理系统能够在基础设施、军事和交通等安全关键应用中部署和运行，必须对信息物理系统的整个生命周期进行安全性评估。大多数在部署后可能对缓解策略选项产生重大影响的安全和安保决策都是在系统生命周期的早期做出的。为了在部署之前进行漏洞分析，必须构建一个足够的格式良好的模型。为了构造这样一个模型，我们产生了属性的分类法；即系统属性的广义架构。该模式捕获了描述可能的真实系统的必要特性，并且还可以映射到与模型属性相关联的攻击向量空间。通过这种方式，我们可以匹配可能的攻击向量，并在设计阶段提供架构缓解。我们给出了一个用系统建模语言SysML编码的飞行控制系统模型，但也表明了对所使用的建模语言或工具的不可知论。
---
英文标题：
《A Model-Based Approach to Security Analysis for Cyber-Physical Systems》
---
作者：
Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming
---
最新提交年份：
2018
---
分类信息：
一级分类：Computer Science 计算机科学
二级分类：Cryptography and Security 密码学与安全
分类描述：Covers all areas of cryptography and security including authentication, public key cryptosytems, proof-carrying code, etc. Roughly includes material in ACM Subject Classes D.4.6 and E.3.
涵盖密码学和安全的所有领域，包括认证、公钥密码系统、携带证明的代码等。大致包括ACM主题课程D.4.6和E.3中的材料。
--
一级分类：Computer Science 计算机科学
二级分类：Systems and Control 系统与控制
分类描述：cs.SY is an alias for eess.SY. This section includes theoretical and experimental research covering all facets of automatic control systems. The section is focused on methods of control system analysis and design using tools of modeling, simulation and optimization. Specific areas of research include nonlinear, distributed, adaptive, stochastic and robust control in addition to hybrid and discrete event systems. Application areas include automotive and aerospace control systems, network control, biological systems, multiagent and cooperative control, robotics, reinforcement learning, sensor networks, control of cyber-physical and energy-related systems, and control of computing systems.
cs.sy是eess.sy的别名。本部分包括理论和实验研究，涵盖了自动控制系统的各个方面。本节主要介绍利用建模、仿真和优化工具进行控制系统分析和设计的方法。具体研究领域包括非线性、分布式、自适应、随机和鲁棒控制，以及混合和离散事件系统。应用领域包括汽车和航空航天控制系统、网络控制、生物系统、多智能体和协作控制、机器人学、强化学习、传感器网络、信息物理和能源相关系统的控制以及计算系统的控制。
--
一级分类：Electrical Engineering and Systems Science 电气工程与系统科学
二级分类：Systems and Control 系统与控制
分类描述：This section includes theoretical and experimental research covering all facets of automatic control systems. The section is focused on methods of control system analysis and design using tools of modeling, simulation and optimization. Specific areas of research include nonlinear, distributed, adaptive, stochastic and robust control in addition to hybrid and discrete event systems. Application areas include automotive and aerospace control systems, network control, biological systems, multiagent and cooperative control, robotics, reinforcement learning, sensor networks, control of cyber-physical and energy-related systems, and control of computing systems.
本部分包括理论和实验研究，涵盖了自动控制系统的各个方面。本节主要介绍利用建模、仿真和优化工具进行控制系统分析和设计的方法。具体研究领域包括非线性、分布式、自适应、随机和鲁棒控制，以及混合和离散事件系统。应用领域包括汽车和航空航天控制系统、网络控制、生物系统、多智能体和协作控制、机器人学、强化学习、传感器网络、信息物理和能源相关系统的控制以及计算系统的控制。
--
---
英文摘要：
Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation. Most safety and security decisions that can have major effects on mitigation strategy options after deployment are made early in the system's life cycle. To allow for a vulnerability analysis before deployment, a sufficient well-formed model has to be constructed. To construct such a model we produce a taxonomy of attributes; that is, a generalized schema for system attributes. This schema captures the necessary specificity that characterizes a possible real system and can also map to the attack vector space associated with the model's attributes. In this way, we can match possible attack vectors and provide architectural mitigation at the design phase. We present a model of a flight control system encoded in the Systems Modeling Language, commonly known as SysML, but also show agnosticism with respect to the modeling language or tool used.
---
PDF链接：
https://arxiv.org/pdf/1710.11442
京公网安备 11010802022788号
