A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Towards Formal Verification of Cyber Security Standards
К формальной верификации стандартов кибербезопасности
2018
Proceedings of the Institute for System Programming of RAS
К формальной верификации стандартов кибербезопасности
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 inability to verify early that they are compliant with the relevant standards. Cyber security standard compliance is also only validated and not formally verified, often not providing strong proofs of
doi:10.15514/ispras-2018-30(4)-5
fatcat:fgkhag44xncnhf44sephcgmfy4