Cyberattacks : Modeling, Analysis, and Mitigation

• Industrial cybersecurity has risen as an important topic of research nowadays. The heavy connectivity by the Internet of Things (IoT) and the growth of cyberattacks against industrial assets cause this risen and attract attention to the cybersecurity field. While fostering current software applications and use-cases, the ubiquitous access to the Internet has also exposed operational technologies to new and challenging security threats that need to be addressed. As the number of attacks increases, their visibility decreases. An attack can modify the Cyber-Physical Systems (CPSs) quality to avoid proper quality assessment. They can disrupt the system design process and adversely affect a product’s design purpose. This working progress paper presents our approach to modeling, analyzing, and mitigating cyberattacks in CPS. We model the normal behavior of the application as well as cyberattacks with the help of Microsoft Security Development Lifecycle (SDL) and threat modeling approach (STRIDE). Then verify the application and attacks model using a model checking tool and propose mitigation strategies to decrease the risk of vulnerabilities. The results can be used to improve the system design to overcome the vulnerabilities.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Nyckelord

Application programs; Cyber Physical System; Cybersecurity; Embedded systems; Formal verification; Industrial research; Internet of things; Life cycle; Product design; Systems analysis

Cybe-physical system; Cybe-physical systems; Cyber attack modeling; Cyber security; Cyber-attacks; Cyber-physical systems; Modeling analyzes; Models checking; Security development lifecycle; STRIDE

Model checking

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)