Security Verification of Industrial Control Systems using Partial Model Checking-Reference-Cited by-同舟云学术

Security Verification of Industrial Control Systems using Partial Model Checking

Published:2020-09-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 8th International Conference on Formal Methods in Software Engineering
language:
Short-container-title:

Author:

Kulik Tomas¹,Boudjadar Jalil¹,Tran-Jørgensen Peter W. V.¹

Affiliation:

1. Aarhus University

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3372020.3391558

Reference34 articles.

1. Partial model checking

2. A framework for compositional verification of security protocols

3. Authors of UPPAAL model. 2019. UPPAAL model for security verification of industrial cloud-connected control system. https://github.com/AuthorICST1/ICSTModels/tree/master. Authors of UPPAAL model. 2019. UPPAAL model for security verification of industrial cloud-connected control system. https://github.com/AuthorICST1/ICSTModels/tree/master.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Digital twin of electric vehicle battery systems: Comprehensive review of the use cases, requirements, and platforms;Renewable and Sustainable Energy Reviews;2023-06

2. Modeling and reliability verification of industrial control network protocol based on time state transition matrix;International Journal of Communication Systems;2022-03-11

3. Modeling an Edge Computing Arithmetic Framework for IoT Environments;Sensors;2022-01-30

4. Formal Model In-The-Loop for Secure Industrial Control Networks;Formal Aspects of Component Software;2022

5. Towards Secure Digital Twins;Lecture Notes in Computer Science;2022