Abstract:
Malicious attacks endanger cyber-physical systems to a drastically increasing extent. Successful attacks intruding on the physical part of the system can cause severe or ...Show MoreMetadata
Abstract:
Malicious attacks endanger cyber-physical systems to a drastically increasing extent. Successful attacks intruding on the physical part of the system can cause severe or even catastrophic losses. The paper presents a model-based system engineering (MBSE) solution for the assessment and mitigation strategy design tool tailored to the peculiarities of SMEs with limited human and financial resources. The proper quality of the security assessment is assured by using embedded formal methods.
Published in: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
Date of Conference: 27-30 June 2023
Date Added to IEEE Xplore: 10 August 2023
ISBN Information:
Contents 