Matches in SemOpenAlex for { <https://semopenalex.org/work/W3162270258> ?p ?o ?g. }
- W3162270258 abstract "Abstract This paper focuses on the detection of cyber-attacks in a timed probabilistic setting. The plant and the possible attacks are described in terms of a labeled continuous time Markov model that includes both observable and unobservable events, and where each attack corresponds to a particular subset of states. Consequently, attack detection is reformulated as a state estimation problem. A verification methodology is described using a parallel-like composition of the Markov model and its logical observer. The construction of this parallel composition allows us to (i) concisely characterize the set of attacks that can be detected based on the sequences of observations they generate, and (ii) compute performance indicators of interest, such as the a priori probability of an undetectable attack, the average detectability, and the mean delay to detection." @default.
- W3162270258 created "2021-05-24" @default.
- W3162270258 creator A5003454609 @default.
- W3162270258 creator A5005940530 @default.
- W3162270258 creator A5030551100 @default.
- W3162270258 creator A5030895170 @default.
- W3162270258 date "2020-01-01" @default.
- W3162270258 modified "2023-09-27" @default.
- W3162270258 title "Probabilistic verification of attack detection using logical observer" @default.
- W3162270258 cites W1141352453 @default.
- W3162270258 cites W2002012767 @default.
- W3162270258 cites W2056240414 @default.
- W3162270258 cites W2101961364 @default.
- W3162270258 cites W2123990969 @default.
- W3162270258 cites W2158469273 @default.
- W3162270258 cites W2756653445 @default.
- W3162270258 cites W2762155482 @default.
- W3162270258 cites W2884397601 @default.
- W3162270258 cites W2967189348 @default.
- W3162270258 cites W2968304255 @default.
- W3162270258 cites W2991024366 @default.
- W3162270258 cites W2991356567 @default.
- W3162270258 cites W3100571116 @default.
- W3162270258 doi "https://doi.org/10.1016/j.ifacol.2021.04.010" @default.
- W3162270258 hasPublicationYear "2020" @default.
- W3162270258 type Work @default.
- W3162270258 sameAs 3162270258 @default.
- W3162270258 citedByCount "1" @default.
- W3162270258 countsByYear W31622702582021 @default.
- W3162270258 crossrefType "journal-article" @default.
- W3162270258 hasAuthorship W3162270258A5003454609 @default.
- W3162270258 hasAuthorship W3162270258A5005940530 @default.
- W3162270258 hasAuthorship W3162270258A5030551100 @default.
- W3162270258 hasAuthorship W3162270258A5030895170 @default.
- W3162270258 hasBestOaLocation W31622702581 @default.
- W3162270258 hasConcept C105795698 @default.
- W3162270258 hasConcept C110251889 @default.
- W3162270258 hasConcept C111472728 @default.
- W3162270258 hasConcept C11413529 @default.
- W3162270258 hasConcept C119857082 @default.
- W3162270258 hasConcept C121332964 @default.
- W3162270258 hasConcept C138885662 @default.
- W3162270258 hasConcept C149782125 @default.
- W3162270258 hasConcept C154945302 @default.
- W3162270258 hasConcept C159886148 @default.
- W3162270258 hasConcept C177264268 @default.
- W3162270258 hasConcept C199360897 @default.
- W3162270258 hasConcept C23224414 @default.
- W3162270258 hasConcept C2780695315 @default.
- W3162270258 hasConcept C2780704645 @default.
- W3162270258 hasConcept C32848918 @default.
- W3162270258 hasConcept C33923547 @default.
- W3162270258 hasConcept C41008148 @default.
- W3162270258 hasConcept C48103436 @default.
- W3162270258 hasConcept C49937458 @default.
- W3162270258 hasConcept C62520636 @default.
- W3162270258 hasConcept C75553542 @default.
- W3162270258 hasConcept C80444323 @default.
- W3162270258 hasConcept C98763669 @default.
- W3162270258 hasConceptScore W3162270258C105795698 @default.
- W3162270258 hasConceptScore W3162270258C110251889 @default.
- W3162270258 hasConceptScore W3162270258C111472728 @default.
- W3162270258 hasConceptScore W3162270258C11413529 @default.
- W3162270258 hasConceptScore W3162270258C119857082 @default.
- W3162270258 hasConceptScore W3162270258C121332964 @default.
- W3162270258 hasConceptScore W3162270258C138885662 @default.
- W3162270258 hasConceptScore W3162270258C149782125 @default.
- W3162270258 hasConceptScore W3162270258C154945302 @default.
- W3162270258 hasConceptScore W3162270258C159886148 @default.
- W3162270258 hasConceptScore W3162270258C177264268 @default.
- W3162270258 hasConceptScore W3162270258C199360897 @default.
- W3162270258 hasConceptScore W3162270258C23224414 @default.
- W3162270258 hasConceptScore W3162270258C2780695315 @default.
- W3162270258 hasConceptScore W3162270258C2780704645 @default.
- W3162270258 hasConceptScore W3162270258C32848918 @default.
- W3162270258 hasConceptScore W3162270258C33923547 @default.
- W3162270258 hasConceptScore W3162270258C41008148 @default.
- W3162270258 hasConceptScore W3162270258C48103436 @default.
- W3162270258 hasConceptScore W3162270258C49937458 @default.
- W3162270258 hasConceptScore W3162270258C62520636 @default.
- W3162270258 hasConceptScore W3162270258C75553542 @default.
- W3162270258 hasConceptScore W3162270258C80444323 @default.
- W3162270258 hasConceptScore W3162270258C98763669 @default.
- W3162270258 hasLocation W31622702581 @default.
- W3162270258 hasLocation W31622702582 @default.
- W3162270258 hasOpenAccess W3162270258 @default.
- W3162270258 hasPrimaryLocation W31622702581 @default.
- W3162270258 hasRelatedWork W10999884 @default.
- W3162270258 hasRelatedWork W14569959 @default.
- W3162270258 hasRelatedWork W2929374 @default.
- W3162270258 hasRelatedWork W3947704 @default.
- W3162270258 hasRelatedWork W5475128 @default.
- W3162270258 hasRelatedWork W5758508 @default.
- W3162270258 hasRelatedWork W660320 @default.
- W3162270258 hasRelatedWork W8639604 @default.
- W3162270258 hasRelatedWork W8705220 @default.
- W3162270258 hasRelatedWork W8754775 @default.
- W3162270258 isParatext "false" @default.
- W3162270258 isRetracted "false" @default.
- W3162270258 magId "3162270258" @default.