Towards formal verification of cyber security standards
Cyber security standards are often used to ensure the security of industrial control systems. Nowadays, these systems are becoming more decentralized, making them more vulnerable to cyber attacks. One of the challenges of implementing cyber security standards for industrial control systems is the in...
| Автори: | , |
|---|---|
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Серія: | Труды Института системного программирования РАН |
| Предмети: | |
| Онлайн доступ: | https://ispranproceedings.elpub.ru/jour/article/view/556 |