FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505804150> ?p ?o ?g. }

• W1505804150 abstract "Opacity is a confidentiality property for partially-observed discrete-event systems relevant to the analysis of security and privacy in cyber and cyber-physical systems. It captures the plausible deniability of the system's “secret” in the presence of an outside observer that is potentially malicious. In this paper, we consider the enforcement of opacity on systems modeled by finite-state automata. We assume that the given system is not opaque and the objective is to restrict its behavior by supervisory control in order to enforce opacity of its secret. We consider the general setting of supervisory control under partial observations where the controllable events need not all be observable. Our approach for the synthesis of an opacity enforcing supervisor is based on the construction of a new transition system that we call the “All Inclusive Controller for Opacity” (or AIC-O). The AIC-O is a finite bipartite transition system that embeds in its transition structure all valid opacity enforcing supervisors. We present an algorithm for the construction of the AIC-O and discuss its properties. We then develop a synthesis algorithm, based on the AIC-O, that constructs a “maximally permissive” opacity-enforcing supervisor. Our approach generalizes previous approaches in the literature for opacity enforcement by supervisory control." @default.
• W1505804150 created "2016-06-24" @default.
• W1505804150 creator A5027585653 @default.
• W1505804150 creator A5034304769 @default.
• W1505804150 date "2015-07-01" @default.
• W1505804150 modified "2023-09-25" @default.
• W1505804150 title "A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems" @default.
• W1505804150 cites W1976202267 @default.
• W1505804150 cites W1979349468 @default.
• W1505804150 cites W1988926301 @default.
• W1505804150 cites W2001653139 @default.
• W1505804150 cites W2008737885 @default.
• W1505804150 cites W2031373068 @default.
• W1505804150 cites W2037457229 @default.
• W1505804150 cites W2040603575 @default.
• W1505804150 cites W2048957981 @default.
• W1505804150 cites W2052227055 @default.
• W1505804150 cites W2061598829 @default.
• W1505804150 cites W2064886960 @default.
• W1505804150 cites W2068354234 @default.
• W1505804150 cites W2115354781 @default.
• W1505804150 cites W2146771420 @default.
• W1505804150 cites W2162000948 @default.
• W1505804150 cites W2509841691 @default.
• W1505804150 cites W2550886631 @default.
• W1505804150 cites W2912987268 @default.
• W1505804150 doi "https://doi.org/10.1109/acc.2015.7170765" @default.
• W1505804150 hasPublicationYear "2015" @default.
• W1505804150 type Work @default.
• W1505804150 sameAs 1505804150 @default.
• W1505804150 citedByCount "19" @default.
• W1505804150 countsByYear W15058041502016 @default.
• W1505804150 countsByYear W15058041502017 @default.
• W1505804150 countsByYear W15058041502018 @default.
• W1505804150 countsByYear W15058041502019 @default.
• W1505804150 countsByYear W15058041502020 @default.
• W1505804150 countsByYear W15058041502021 @default.
• W1505804150 countsByYear W15058041502022 @default.
• W1505804150 countsByYear W15058041502023 @default.
• W1505804150 crossrefType "proceedings-article" @default.
• W1505804150 hasAuthorship W1505804150A5027585653 @default.
• W1505804150 hasAuthorship W1505804150A5034304769 @default.
• W1505804150 hasConcept C111472728 @default.
• W1505804150 hasConcept C112505250 @default.
• W1505804150 hasConcept C11413529 @default.
• W1505804150 hasConcept C120665830 @default.
• W1505804150 hasConcept C121332964 @default.
• W1505804150 hasConcept C132525143 @default.
• W1505804150 hasConcept C138885662 @default.
• W1505804150 hasConcept C154945302 @default.
• W1505804150 hasConcept C17744445 @default.
• W1505804150 hasConcept C189950617 @default.
• W1505804150 hasConcept C197657726 @default.
• W1505804150 hasConcept C199539241 @default.
• W1505804150 hasConcept C203479927 @default.
• W1505804150 hasConcept C2775924081 @default.
• W1505804150 hasConcept C2779110517 @default.
• W1505804150 hasConcept C2779662365 @default.
• W1505804150 hasConcept C28826006 @default.
• W1505804150 hasConcept C33923547 @default.
• W1505804150 hasConcept C36299963 @default.
• W1505804150 hasConcept C41008148 @default.
• W1505804150 hasConcept C47446073 @default.
• W1505804150 hasConcept C60056205 @default.
• W1505804150 hasConcept C62520636 @default.
• W1505804150 hasConcept C6557445 @default.
• W1505804150 hasConcept C80444323 @default.
• W1505804150 hasConcept C86803240 @default.
• W1505804150 hasConcept C92991967 @default.
• W1505804150 hasConceptScore W1505804150C111472728 @default.
• W1505804150 hasConceptScore W1505804150C112505250 @default.
• W1505804150 hasConceptScore W1505804150C11413529 @default.
• W1505804150 hasConceptScore W1505804150C120665830 @default.
• W1505804150 hasConceptScore W1505804150C121332964 @default.
• W1505804150 hasConceptScore W1505804150C132525143 @default.
• W1505804150 hasConceptScore W1505804150C138885662 @default.
• W1505804150 hasConceptScore W1505804150C154945302 @default.
• W1505804150 hasConceptScore W1505804150C17744445 @default.
• W1505804150 hasConceptScore W1505804150C189950617 @default.
• W1505804150 hasConceptScore W1505804150C197657726 @default.
• W1505804150 hasConceptScore W1505804150C199539241 @default.
• W1505804150 hasConceptScore W1505804150C203479927 @default.
• W1505804150 hasConceptScore W1505804150C2775924081 @default.
• W1505804150 hasConceptScore W1505804150C2779110517 @default.
• W1505804150 hasConceptScore W1505804150C2779662365 @default.
• W1505804150 hasConceptScore W1505804150C28826006 @default.
• W1505804150 hasConceptScore W1505804150C33923547 @default.
• W1505804150 hasConceptScore W1505804150C36299963 @default.
• W1505804150 hasConceptScore W1505804150C41008148 @default.
• W1505804150 hasConceptScore W1505804150C47446073 @default.
• W1505804150 hasConceptScore W1505804150C60056205 @default.
• W1505804150 hasConceptScore W1505804150C62520636 @default.
• W1505804150 hasConceptScore W1505804150C6557445 @default.
• W1505804150 hasConceptScore W1505804150C80444323 @default.
• W1505804150 hasConceptScore W1505804150C86803240 @default.
• W1505804150 hasConceptScore W1505804150C92991967 @default.
• W1505804150 hasLocation W15058041501 @default.
• W1505804150 hasOpenAccess W1505804150 @default.
• W1505804150 hasPrimaryLocation W15058041501 @default.
• W1505804150 hasRelatedWork W1596201972 @default.

• next