Matches in SemOpenAlex for { <https://semopenalex.org/work/W2978210762> ?p ?o ?g. }
- W2978210762 abstract "This paper develops a novel compositional and abstraction-based approach to synthesize edit functions for opacity enforcement in modular discrete event systems. Edit functions alter the output of the system by erasing or inserting events in order to obfuscate the outside intruder, whose goal is to infer the secrets of the system from its observation. We synthesize edit functions to solve the opacity enforcement problem in a modular setting, which significantly reduces the computational complexity compared with the monolithic approach. Two abstraction methods called opaque observation equivalence and opaque bisimulation are first employed to abstract the individual components of the modular system and their observers. Subsequently, we propose a method to transform the synthesis of edit functions to the calculation of modular supremal nonblocking supervisors. We show that the edit functions synthesized in this manner correctly solve the opacity enforcement problem." @default.
- W2978210762 created "2019-10-10" @default.
- W2978210762 creator A5056156627 @default.
- W2978210762 creator A5062869270 @default.
- W2978210762 creator A5084543188 @default.
- W2978210762 date "2019-10-01" @default.
- W2978210762 modified "2023-09-27" @default.
- W2978210762 title "Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement." @default.
- W2978210762 cites W1503973138 @default.
- W2978210762 cites W1509918383 @default.
- W2978210762 cites W1587663028 @default.
- W2978210762 cites W1970687875 @default.
- W2978210762 cites W1973642705 @default.
- W2978210762 cites W1976202267 @default.
- W2978210762 cites W1985508025 @default.
- W2978210762 cites W1994917823 @default.
- W2978210762 cites W1998419498 @default.
- W2978210762 cites W2001653139 @default.
- W2978210762 cites W2004398490 @default.
- W2978210762 cites W2008737885 @default.
- W2978210762 cites W2016380948 @default.
- W2978210762 cites W2031373068 @default.
- W2978210762 cites W2040603575 @default.
- W2978210762 cites W2052227055 @default.
- W2978210762 cites W2064886960 @default.
- W2978210762 cites W2077280257 @default.
- W2978210762 cites W2090930915 @default.
- W2978210762 cites W2093645787 @default.
- W2978210762 cites W2102651988 @default.
- W2978210762 cites W2110425399 @default.
- W2978210762 cites W2142367687 @default.
- W2978210762 cites W2147504115 @default.
- W2978210762 cites W2148114786 @default.
- W2978210762 cites W2159206957 @default.
- W2978210762 cites W2162000948 @default.
- W2978210762 cites W2416559203 @default.
- W2978210762 cites W2497816991 @default.
- W2978210762 cites W2521231675 @default.
- W2978210762 cites W2538443008 @default.
- W2978210762 cites W2559868061 @default.
- W2978210762 cites W2601738991 @default.
- W2978210762 cites W2768356411 @default.
- W2978210762 cites W2782836056 @default.
- W2978210762 cites W2796125030 @default.
- W2978210762 cites W2809079675 @default.
- W2978210762 cites W2882998909 @default.
- W2978210762 cites W2883671463 @default.
- W2978210762 cites W2901162916 @default.
- W2978210762 cites W2912723034 @default.
- W2978210762 cites W2914250191 @default.
- W2978210762 cites W2914280847 @default.
- W2978210762 cites W2943148875 @default.
- W2978210762 cites W2957340013 @default.
- W2978210762 cites W2968762186 @default.
- W2978210762 cites W322937049 @default.
- W2978210762 hasPublicationYear "2019" @default.
- W2978210762 type Work @default.
- W2978210762 sameAs 2978210762 @default.
- W2978210762 citedByCount "0" @default.
- W2978210762 crossrefType "posted-content" @default.
- W2978210762 hasAuthorship W2978210762A5056156627 @default.
- W2978210762 hasAuthorship W2978210762A5062869270 @default.
- W2978210762 hasAuthorship W2978210762A5084543188 @default.
- W2978210762 hasConcept C101468663 @default.
- W2978210762 hasConcept C111472728 @default.
- W2978210762 hasConcept C11413529 @default.
- W2978210762 hasConcept C118615104 @default.
- W2978210762 hasConcept C120665830 @default.
- W2978210762 hasConcept C121332964 @default.
- W2978210762 hasConcept C124304363 @default.
- W2978210762 hasConcept C135315306 @default.
- W2978210762 hasConcept C138885662 @default.
- W2978210762 hasConcept C17744445 @default.
- W2978210762 hasConcept C199360897 @default.
- W2978210762 hasConcept C199539241 @default.
- W2978210762 hasConcept C2779777834 @default.
- W2978210762 hasConcept C2780069185 @default.
- W2978210762 hasConcept C33923547 @default.
- W2978210762 hasConcept C41008148 @default.
- W2978210762 hasConcept C60056205 @default.
- W2978210762 hasConcept C80444323 @default.
- W2978210762 hasConceptScore W2978210762C101468663 @default.
- W2978210762 hasConceptScore W2978210762C111472728 @default.
- W2978210762 hasConceptScore W2978210762C11413529 @default.
- W2978210762 hasConceptScore W2978210762C118615104 @default.
- W2978210762 hasConceptScore W2978210762C120665830 @default.
- W2978210762 hasConceptScore W2978210762C121332964 @default.
- W2978210762 hasConceptScore W2978210762C124304363 @default.
- W2978210762 hasConceptScore W2978210762C135315306 @default.
- W2978210762 hasConceptScore W2978210762C138885662 @default.
- W2978210762 hasConceptScore W2978210762C17744445 @default.
- W2978210762 hasConceptScore W2978210762C199360897 @default.
- W2978210762 hasConceptScore W2978210762C199539241 @default.
- W2978210762 hasConceptScore W2978210762C2779777834 @default.
- W2978210762 hasConceptScore W2978210762C2780069185 @default.
- W2978210762 hasConceptScore W2978210762C33923547 @default.
- W2978210762 hasConceptScore W2978210762C41008148 @default.
- W2978210762 hasConceptScore W2978210762C60056205 @default.
- W2978210762 hasConceptScore W2978210762C80444323 @default.
- W2978210762 hasLocation W29782107621 @default.