The Integrated Model of Secure Cyber-Physical Systems for Their Design and Verification

扫码查看

原文链接

NETL
Springer Nature

外文摘要：This paper considers a new integrated model of secure cyber-physical systems for their design and verification。 The suggested integrated model represents cyber-physical systems as a set of building blocks with properties and connections between them。 The main challenge to build this model is in consolidating different approaches for modeling of cyber-physical systems in the general integrated approach。 The main goal of the suggested general integrated approach is to ensure the transformation from one model to another without losing significant properties of building blocks as well as taking into account emergent properties arising from the interaction of system blocks。 The correctness of the model is validated by its use for access control analysis。

外文关键词：

Security by designCyber-physical systemSecurity verificationSystem modelingAttacker modelAttack actions modelIntegrated model

作者：

Dmitry Levshun、Igor Kotenko、Andrey Chechulin

展开 >

作者单位：

SPIIRAS, 39, 14th Liniya, St. Petersburg, Russia,ITMO University, 49 Kronverksky Pr., St. Petersburg, Russia

会议名称：

International symposium on intelligent distributed computing

会议地点：

St. Petersburg(RU)

会议母体文献：

Intelligent distributed computing XIII

页码：

333-343

出版时间：

2019

DOI：

10.1007/978-3-030-32258-8_39