Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912723034> ?p ?o ?g. }
- W2912723034 abstract "We investigate security and privacy issues in networked discrete-event systems, where supervisory controllers are connected with actuators and sensors via communication networks. In this paper, we consider the case where the control channel between the supervisor and the actuators may not be secure in the sense that the control decisions sent by the supervisor can be “listened” by an intruder. We adopt the concept of an information-flow property called opacity to capture whether or not the networked supervisory control system is secure. Specifically, we say that the supervisory control system is opaque with insecure control channel if the intruder can never determine for sure that the system is in a secret state based on the control decisions sent by the supervisor. Based on different control decision transmission mechanisms, two notions of opacity are defined. Effective algorithms are also provided to verify different notions of opacity for networked supervisory control systems." @default.
- W2912723034 created "2019-02-21" @default.
- W2912723034 creator A5034304769 @default.
- W2912723034 creator A5041126305 @default.
- W2912723034 date "2018-12-01" @default.
- W2912723034 modified "2023-10-10" @default.
- W2912723034 title "Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels" @default.
- W2912723034 cites W1968302778 @default.
- W2912723034 cites W1981008659 @default.
- W2912723034 cites W2031373068 @default.
- W2912723034 cites W2052227055 @default.
- W2912723034 cites W2138356730 @default.
- W2912723034 cites W2148114786 @default.
- W2912723034 cites W2339479657 @default.
- W2912723034 cites W2342445930 @default.
- W2912723034 cites W2416559203 @default.
- W2912723034 cites W2497816991 @default.
- W2912723034 cites W2509841691 @default.
- W2912723034 cites W2518154242 @default.
- W2912723034 cites W2521231675 @default.
- W2912723034 cites W2554059338 @default.
- W2912723034 cites W2601738991 @default.
- W2912723034 cites W2603068814 @default.
- W2912723034 cites W2766346667 @default.
- W2912723034 cites W2782865495 @default.
- W2912723034 cites W2783473489 @default.
- W2912723034 cites W2901162916 @default.
- W2912723034 cites W2912987268 @default.
- W2912723034 cites W3037660916 @default.
- W2912723034 cites W3104319463 @default.
- W2912723034 cites W617710812 @default.
- W2912723034 doi "https://doi.org/10.1109/cdc.2018.8619851" @default.
- W2912723034 hasPublicationYear "2018" @default.
- W2912723034 type Work @default.
- W2912723034 sameAs 2912723034 @default.
- W2912723034 citedByCount "17" @default.
- W2912723034 countsByYear W29127230342019 @default.
- W2912723034 countsByYear W29127230342020 @default.
- W2912723034 countsByYear W29127230342021 @default.
- W2912723034 countsByYear W29127230342022 @default.
- W2912723034 crossrefType "proceedings-article" @default.
- W2912723034 hasAuthorship W2912723034A5034304769 @default.
- W2912723034 hasAuthorship W2912723034A5041126305 @default.
- W2912723034 hasConcept C119599485 @default.
- W2912723034 hasConcept C120665830 @default.
- W2912723034 hasConcept C121332964 @default.
- W2912723034 hasConcept C127162648 @default.
- W2912723034 hasConcept C127413603 @default.
- W2912723034 hasConcept C138885662 @default.
- W2912723034 hasConcept C154945302 @default.
- W2912723034 hasConcept C172707124 @default.
- W2912723034 hasConcept C17500928 @default.
- W2912723034 hasConcept C17744445 @default.
- W2912723034 hasConcept C199539241 @default.
- W2912723034 hasConcept C2775924081 @default.
- W2912723034 hasConcept C2779110517 @default.
- W2912723034 hasConcept C2779136372 @default.
- W2912723034 hasConcept C31258907 @default.
- W2912723034 hasConcept C41008148 @default.
- W2912723034 hasConcept C41895202 @default.
- W2912723034 hasConcept C60056205 @default.
- W2912723034 hasConcept C761482 @default.
- W2912723034 hasConcept C76155785 @default.
- W2912723034 hasConcept C92991967 @default.
- W2912723034 hasConceptScore W2912723034C119599485 @default.
- W2912723034 hasConceptScore W2912723034C120665830 @default.
- W2912723034 hasConceptScore W2912723034C121332964 @default.
- W2912723034 hasConceptScore W2912723034C127162648 @default.
- W2912723034 hasConceptScore W2912723034C127413603 @default.
- W2912723034 hasConceptScore W2912723034C138885662 @default.
- W2912723034 hasConceptScore W2912723034C154945302 @default.
- W2912723034 hasConceptScore W2912723034C172707124 @default.
- W2912723034 hasConceptScore W2912723034C17500928 @default.
- W2912723034 hasConceptScore W2912723034C17744445 @default.
- W2912723034 hasConceptScore W2912723034C199539241 @default.
- W2912723034 hasConceptScore W2912723034C2775924081 @default.
- W2912723034 hasConceptScore W2912723034C2779110517 @default.
- W2912723034 hasConceptScore W2912723034C2779136372 @default.
- W2912723034 hasConceptScore W2912723034C31258907 @default.
- W2912723034 hasConceptScore W2912723034C41008148 @default.
- W2912723034 hasConceptScore W2912723034C41895202 @default.
- W2912723034 hasConceptScore W2912723034C60056205 @default.
- W2912723034 hasConceptScore W2912723034C761482 @default.
- W2912723034 hasConceptScore W2912723034C76155785 @default.
- W2912723034 hasConceptScore W2912723034C92991967 @default.
- W2912723034 hasLocation W29127230341 @default.
- W2912723034 hasOpenAccess W2912723034 @default.
- W2912723034 hasPrimaryLocation W29127230341 @default.
- W2912723034 hasRelatedWork W1505804150 @default.
- W2912723034 hasRelatedWork W1973996945 @default.
- W2912723034 hasRelatedWork W2061598829 @default.
- W2912723034 hasRelatedWork W2077339212 @default.
- W2912723034 hasRelatedWork W2111170027 @default.
- W2912723034 hasRelatedWork W2440113315 @default.
- W2912723034 hasRelatedWork W31046632 @default.
- W2912723034 hasRelatedWork W3155812964 @default.
- W2912723034 hasRelatedWork W4309989429 @default.
- W2912723034 hasRelatedWork W46796605 @default.
- W2912723034 isParatext "false" @default.
- W2912723034 isRetracted "false" @default.