Matches in SemOpenAlex for { <https://semopenalex.org/work/W2968752692> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2968752692 abstract "SCADA control systems use programmable logic controller to interface with critical machines. SCADA systems are used in critical infrastructures, for instance, to control smart grid, oil pipelines, water distribution and chemical manufacturing plants: an attacker taking control of a SCADA system could cause various damages, both to the infrastructure but also to people (for instance, adding chemical substances into a water distribution systems). In this paper we propose a method to detect attacks targeting SCADA systems. We exploit model checking, in detail we model logs from SCADA systems into a network of timed automata and, through timed temporal logic, we characterize the behaviour of a SCADA system under attack. Experiments performed on a SCADA water distribution system confirmed the effectiveness of the proposed method." @default.
- W2968752692 created "2019-08-22" @default.
- W2968752692 creator A5004599844 @default.
- W2968752692 creator A5021815654 @default.
- W2968752692 creator A5023695406 @default.
- W2968752692 date "2019-06-01" @default.
- W2968752692 modified "2023-10-14" @default.
- W2968752692 title "Real-Time SCADA Attack Detection by Means of Formal Methods" @default.
- W2968752692 cites W1678889691 @default.
- W2968752692 cites W1915012771 @default.
- W2968752692 cites W2035379194 @default.
- W2968752692 cites W2092300972 @default.
- W2968752692 cites W2101508170 @default.
- W2968752692 cites W2162783010 @default.
- W2968752692 cites W2334376961 @default.
- W2968752692 cites W2746620120 @default.
- W2968752692 cites W2807219356 @default.
- W2968752692 cites W2884488055 @default.
- W2968752692 doi "https://doi.org/10.1109/wetice.2019.00057" @default.
- W2968752692 hasPublicationYear "2019" @default.
- W2968752692 type Work @default.
- W2968752692 sameAs 2968752692 @default.
- W2968752692 citedByCount "24" @default.
- W2968752692 countsByYear W29687526922020 @default.
- W2968752692 countsByYear W29687526922021 @default.
- W2968752692 countsByYear W29687526922022 @default.
- W2968752692 countsByYear W29687526922023 @default.
- W2968752692 crossrefType "proceedings-article" @default.
- W2968752692 hasAuthorship W2968752692A5004599844 @default.
- W2968752692 hasAuthorship W2968752692A5021815654 @default.
- W2968752692 hasAuthorship W2968752692A5023695406 @default.
- W2968752692 hasConcept C111919701 @default.
- W2968752692 hasConcept C113863187 @default.
- W2968752692 hasConcept C119599485 @default.
- W2968752692 hasConcept C127413603 @default.
- W2968752692 hasConcept C149635348 @default.
- W2968752692 hasConcept C154945302 @default.
- W2968752692 hasConcept C165696696 @default.
- W2968752692 hasConcept C17500928 @default.
- W2968752692 hasConcept C175309249 @default.
- W2968752692 hasConcept C203479927 @default.
- W2968752692 hasConcept C2775924081 @default.
- W2968752692 hasConcept C37374048 @default.
- W2968752692 hasConcept C38652104 @default.
- W2968752692 hasConcept C40071531 @default.
- W2968752692 hasConcept C41008148 @default.
- W2968752692 hasConcept C6557445 @default.
- W2968752692 hasConcept C79403827 @default.
- W2968752692 hasConcept C86803240 @default.
- W2968752692 hasConcept C87717796 @default.
- W2968752692 hasConceptScore W2968752692C111919701 @default.
- W2968752692 hasConceptScore W2968752692C113863187 @default.
- W2968752692 hasConceptScore W2968752692C119599485 @default.
- W2968752692 hasConceptScore W2968752692C127413603 @default.
- W2968752692 hasConceptScore W2968752692C149635348 @default.
- W2968752692 hasConceptScore W2968752692C154945302 @default.
- W2968752692 hasConceptScore W2968752692C165696696 @default.
- W2968752692 hasConceptScore W2968752692C17500928 @default.
- W2968752692 hasConceptScore W2968752692C175309249 @default.
- W2968752692 hasConceptScore W2968752692C203479927 @default.
- W2968752692 hasConceptScore W2968752692C2775924081 @default.
- W2968752692 hasConceptScore W2968752692C37374048 @default.
- W2968752692 hasConceptScore W2968752692C38652104 @default.
- W2968752692 hasConceptScore W2968752692C40071531 @default.
- W2968752692 hasConceptScore W2968752692C41008148 @default.
- W2968752692 hasConceptScore W2968752692C6557445 @default.
- W2968752692 hasConceptScore W2968752692C79403827 @default.
- W2968752692 hasConceptScore W2968752692C86803240 @default.
- W2968752692 hasConceptScore W2968752692C87717796 @default.
- W2968752692 hasLocation W29687526921 @default.
- W2968752692 hasOpenAccess W2968752692 @default.
- W2968752692 hasPrimaryLocation W29687526921 @default.
- W2968752692 hasRelatedWork W1562756947 @default.
- W2968752692 hasRelatedWork W2110796433 @default.
- W2968752692 hasRelatedWork W2270401304 @default.
- W2968752692 hasRelatedWork W2369283454 @default.
- W2968752692 hasRelatedWork W2619874920 @default.
- W2968752692 hasRelatedWork W2766546310 @default.
- W2968752692 hasRelatedWork W2790622811 @default.
- W2968752692 hasRelatedWork W2947672756 @default.
- W2968752692 hasRelatedWork W4252573951 @default.
- W2968752692 hasRelatedWork W4256621493 @default.
- W2968752692 isParatext "false" @default.
- W2968752692 isRetracted "false" @default.
- W2968752692 magId "2968752692" @default.
- W2968752692 workType "article" @default.