Sökning: onr:"swepub:oai:DiVA.org:mdh-61646" >
Cyberattacks :
Cyberattacks : Modeling, Analysis, and Mitigation
-
- Abbaspour Asadollah, Sara (författare)
- Mälardalens universitet,Inbyggda system
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers Inc. 2022
- 2022
- Engelska.
-
Ingår i: Proceedings - 2022 6th International Conference on Computer, Software and Modeling. - : Institute of Electrical and Electronics Engineers Inc.. - 9781665454865 ; , s. 80-84
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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)
Hitta via bibliotek
Till lärosätets databas