Matches in SemOpenAlex for { <https://semopenalex.org/work/W4375852646> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4375852646 abstract "We propose a framework for security vulnerability analysis for Cyber-Physical Systems (CPS). Our framework imposes only minimal assumptions on the structure of the CPS. Namely, we consider CPS with feedback control loops, state observers, and anomaly detection algorithms. Moreover, our framework does not require any knowledge about the dynamics or the algorithms used in the CPS. Under this common CPS architecture, we develop tools that can identify vulnerabilities in the system and their impact on the functionality of the CPS. We pose the CPS security problem as a falsification (or Search Based Test Generation (SBTG)) problem guided by security requirements expressed in Signal Temporal Logic (STL). We propose two different categories of security requirements encoded in STL: (1) detectability (stealthiness) and (2) effectiveness (impact on the CPS function). Finally, we demonstrate in simulation on an inverted pendulum and on an Unmanned Aerial Vehicle (UAV) that both specifications are falsifiable using our SBTG techniques." @default.
- W4375852646 created "2023-05-10" @default.
- W4375852646 creator A5008754455 @default.
- W4375852646 creator A5029792175 @default.
- W4375852646 creator A5040750463 @default.
- W4375852646 creator A5049158387 @default.
- W4375852646 creator A5058732387 @default.
- W4375852646 date "2023-05-09" @default.
- W4375852646 modified "2023-09-24" @default.
- W4375852646 title "Stealthy attacks formalized as STL formulas for Falsification of CPS Security" @default.
- W4375852646 cites W1510052597 @default.
- W4375852646 cites W2010973666 @default.
- W4375852646 cites W2021649545 @default.
- W4375852646 cites W2038651258 @default.
- W4375852646 cites W2049399166 @default.
- W4375852646 cites W2098536261 @default.
- W4375852646 cites W2112656403 @default.
- W4375852646 cites W2155589794 @default.
- W4375852646 cites W2156340783 @default.
- W4375852646 cites W2172184261 @default.
- W4375852646 cites W2556282465 @default.
- W4375852646 cites W2759950027 @default.
- W4375852646 cites W2783637637 @default.
- W4375852646 cites W2946344298 @default.
- W4375852646 cites W2963003663 @default.
- W4375852646 cites W3089624132 @default.
- W4375852646 cites W3090137276 @default.
- W4375852646 cites W3098881644 @default.
- W4375852646 cites W3106539157 @default.
- W4375852646 cites W3134772926 @default.
- W4375852646 cites W3165880105 @default.
- W4375852646 cites W3184919107 @default.
- W4375852646 cites W3206558114 @default.
- W4375852646 doi "https://doi.org/10.1145/3575870.3587122" @default.
- W4375852646 hasPublicationYear "2023" @default.
- W4375852646 type Work @default.
- W4375852646 citedByCount "1" @default.
- W4375852646 countsByYear W43758526462023 @default.
- W4375852646 crossrefType "proceedings-article" @default.
- W4375852646 hasAuthorship W4375852646A5008754455 @default.
- W4375852646 hasAuthorship W4375852646A5029792175 @default.
- W4375852646 hasAuthorship W4375852646A5040750463 @default.
- W4375852646 hasAuthorship W4375852646A5049158387 @default.
- W4375852646 hasAuthorship W4375852646A5058732387 @default.
- W4375852646 hasConcept C111472728 @default.
- W4375852646 hasConcept C11413529 @default.
- W4375852646 hasConcept C116222747 @default.
- W4375852646 hasConcept C120314980 @default.
- W4375852646 hasConcept C121332964 @default.
- W4375852646 hasConcept C138885662 @default.
- W4375852646 hasConcept C14036430 @default.
- W4375852646 hasConcept C158622935 @default.
- W4375852646 hasConcept C192921069 @default.
- W4375852646 hasConcept C38652104 @default.
- W4375852646 hasConcept C41008148 @default.
- W4375852646 hasConcept C48103436 @default.
- W4375852646 hasConcept C62520636 @default.
- W4375852646 hasConcept C78458016 @default.
- W4375852646 hasConcept C80444323 @default.
- W4375852646 hasConcept C86803240 @default.
- W4375852646 hasConcept C95713431 @default.
- W4375852646 hasConceptScore W4375852646C111472728 @default.
- W4375852646 hasConceptScore W4375852646C11413529 @default.
- W4375852646 hasConceptScore W4375852646C116222747 @default.
- W4375852646 hasConceptScore W4375852646C120314980 @default.
- W4375852646 hasConceptScore W4375852646C121332964 @default.
- W4375852646 hasConceptScore W4375852646C138885662 @default.
- W4375852646 hasConceptScore W4375852646C14036430 @default.
- W4375852646 hasConceptScore W4375852646C158622935 @default.
- W4375852646 hasConceptScore W4375852646C192921069 @default.
- W4375852646 hasConceptScore W4375852646C38652104 @default.
- W4375852646 hasConceptScore W4375852646C41008148 @default.
- W4375852646 hasConceptScore W4375852646C48103436 @default.
- W4375852646 hasConceptScore W4375852646C62520636 @default.
- W4375852646 hasConceptScore W4375852646C78458016 @default.
- W4375852646 hasConceptScore W4375852646C80444323 @default.
- W4375852646 hasConceptScore W4375852646C86803240 @default.
- W4375852646 hasConceptScore W4375852646C95713431 @default.
- W4375852646 hasLocation W43758526461 @default.
- W4375852646 hasOpenAccess W4375852646 @default.
- W4375852646 hasPrimaryLocation W43758526461 @default.
- W4375852646 hasRelatedWork W1485627940 @default.
- W4375852646 hasRelatedWork W1587227328 @default.
- W4375852646 hasRelatedWork W1596201972 @default.
- W4375852646 hasRelatedWork W1596615495 @default.
- W4375852646 hasRelatedWork W1967954938 @default.
- W4375852646 hasRelatedWork W2028061998 @default.
- W4375852646 hasRelatedWork W2043789664 @default.
- W4375852646 hasRelatedWork W2152433827 @default.
- W4375852646 hasRelatedWork W2160425906 @default.
- W4375852646 hasRelatedWork W2998813341 @default.
- W4375852646 isParatext "false" @default.
- W4375852646 isRetracted "false" @default.
- W4375852646 workType "article" @default.