Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914925440> ?p ?o ?g. }
- W2914925440 abstract "We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devices. We focus on a formal treatment of both integrity and denial of service attacks to sensors and actuators of CPSs, and on the timing aspects of these attacks. Our contributions are fourfold. (1)~We define a hybrid process calculus to model both CPSs and physics-based attacks. (2)~We formalise a threat model that specifies MITM attacks that can manipulate sensor readings or control commands in order to drive a CPS into an undesired state, and we provide the means to assess attack tolerance/vulnerability with respect to a given attack. (3)~We formalise how to estimate the impact of a successful attack on a CPS and investigate possible quantifications of the success chances of an attack. (4)~We illustrate our definitions and results by formalising a non-trivial running example in Uppaal SMC, the statistical extension of the Uppaal model checker; we use Uppaal SMC as an automatic tool for carrying out a static security analysis of our running example in isolation and when exposed to three different physics-based attacks with different impacts." @default.
- W2914925440 created "2019-02-21" @default.
- W2914925440 creator A5017237200 @default.
- W2914925440 creator A5028603974 @default.
- W2914925440 creator A5051857172 @default.
- W2914925440 creator A5090347665 @default.
- W2914925440 date "2019-02-12" @default.
- W2914925440 modified "2023-09-27" @default.
- W2914925440 title "A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)" @default.
- W2914925440 cites W1548324490 @default.
- W2914925440 cites W1557652964 @default.
- W2914925440 cites W157492013 @default.
- W2914925440 cites W1617766523 @default.
- W2914925440 cites W168836647 @default.
- W2914925440 cites W1905380539 @default.
- W2914925440 cites W1962072139 @default.
- W2914925440 cites W1972523481 @default.
- W2914925440 cites W1972809722 @default.
- W2914925440 cites W1978612864 @default.
- W2914925440 cites W1993619428 @default.
- W2914925440 cites W2001026449 @default.
- W2914925440 cites W2004463571 @default.
- W2914925440 cites W2006340882 @default.
- W2914925440 cites W2029693536 @default.
- W2914925440 cites W2041228127 @default.
- W2914925440 cites W2042587503 @default.
- W2914925440 cites W2044667269 @default.
- W2914925440 cites W2049768769 @default.
- W2914925440 cites W2067064328 @default.
- W2914925440 cites W2077815947 @default.
- W2914925440 cites W2082281040 @default.
- W2914925440 cites W2085434887 @default.
- W2914925440 cites W2126489030 @default.
- W2914925440 cites W2131263964 @default.
- W2914925440 cites W2143842190 @default.
- W2914925440 cites W2149307113 @default.
- W2914925440 cites W2152106854 @default.
- W2914925440 cites W2152533774 @default.
- W2914925440 cites W2166423024 @default.
- W2914925440 cites W2176215692 @default.
- W2914925440 cites W2320844599 @default.
- W2914925440 cites W2395334218 @default.
- W2914925440 cites W2484443848 @default.
- W2914925440 cites W2519655440 @default.
- W2914925440 cites W2560421581 @default.
- W2914925440 cites W2617246254 @default.
- W2914925440 cites W275084143 @default.
- W2914925440 cites W2754542527 @default.
- W2914925440 cites W2787260237 @default.
- W2914925440 cites W2791546414 @default.
- W2914925440 cites W2798427558 @default.
- W2914925440 cites W2799169671 @default.
- W2914925440 cites W2803279029 @default.
- W2914925440 cites W2803355698 @default.
- W2914925440 cites W2803684864 @default.
- W2914925440 cites W2885880873 @default.
- W2914925440 cites W2886619230 @default.
- W2914925440 cites W2903296787 @default.
- W2914925440 cites W2903794073 @default.
- W2914925440 cites W2963535556 @default.
- W2914925440 cites W3047659890 @default.
- W2914925440 cites W3098987089 @default.
- W2914925440 hasPublicationYear "2019" @default.
- W2914925440 type Work @default.
- W2914925440 sameAs 2914925440 @default.
- W2914925440 citedByCount "1" @default.
- W2914925440 countsByYear W29149254402021 @default.
- W2914925440 crossrefType "posted-content" @default.
- W2914925440 hasAuthorship W2914925440A5017237200 @default.
- W2914925440 hasAuthorship W2914925440A5028603974 @default.
- W2914925440 hasAuthorship W2914925440A5051857172 @default.
- W2914925440 hasAuthorship W2914925440A5090347665 @default.
- W2914925440 hasConcept C110251889 @default.
- W2914925440 hasConcept C110875604 @default.
- W2914925440 hasConcept C111919701 @default.
- W2914925440 hasConcept C115903868 @default.
- W2914925440 hasConcept C161771561 @default.
- W2914925440 hasConcept C179768478 @default.
- W2914925440 hasConcept C199360897 @default.
- W2914925440 hasConcept C2775941552 @default.
- W2914925440 hasConcept C38652104 @default.
- W2914925440 hasConcept C38822068 @default.
- W2914925440 hasConcept C41008148 @default.
- W2914925440 hasConcept C65856478 @default.
- W2914925440 hasConcept C75606506 @default.
- W2914925440 hasConcept C80444323 @default.
- W2914925440 hasConcept C86803240 @default.
- W2914925440 hasConcept C89423630 @default.
- W2914925440 hasConcept C95713431 @default.
- W2914925440 hasConcept C98045186 @default.
- W2914925440 hasConceptScore W2914925440C110251889 @default.
- W2914925440 hasConceptScore W2914925440C110875604 @default.
- W2914925440 hasConceptScore W2914925440C111919701 @default.
- W2914925440 hasConceptScore W2914925440C115903868 @default.
- W2914925440 hasConceptScore W2914925440C161771561 @default.
- W2914925440 hasConceptScore W2914925440C179768478 @default.
- W2914925440 hasConceptScore W2914925440C199360897 @default.
- W2914925440 hasConceptScore W2914925440C2775941552 @default.
- W2914925440 hasConceptScore W2914925440C38652104 @default.
- W2914925440 hasConceptScore W2914925440C38822068 @default.