FRINK Linked Data Fragments server

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

• W841704020 abstract "Verification and Enforcement of Opacity Security Properties in Discrete Event Systems by Yi-Chin Wu Chair: Stephane Lafortune The need for stringent cybersecurity is becoming significant as computers and networks are integrated into every aspect of our lives. A recent trend in cybersecurity research is to formalize security notions and develop theoretical foundations for designing secure systems. In this dissertation, we address a security notion called opacity based on the control theory for Discrete Event Systems (DES). Opacity is an information-flow property that captures whether a given secret of the system can be inferred by intruders who passively observe the behavior of the system. Finite-state automata are used to capture the dynamics of computer systems that need to be rendered opaque with respect to a given secret. Under the observation of the intruder, the secret of the system is opaque if “whenever the secret has occurred, there exists another non-secret behavior that is observationally equivalent.” This research focuses on the analysis and the enforcement of four notions of opacity. First, we develop algorithms for verifying opacity notions under the attack model of a single intruder and that of multiple colluding intruders. We then consider the enforcement of opacity when the secret is not opaque. Specifically, we propose a novel xiii enforcement mechanism based on event insertion to address opacity enforcement for a class of systems whose dynamics cannot be modified. An insertion function, placed at the output of the system, inserts fictitious observable events to the system’s output without interacting with the system. We develop a finite structure called the All-Insertion Structure (AIS) that enumerates all valid insertion functions. The AIS establishes a necessary and sufficient condition for the existence of a valid insertion function, and provides a structure to synthesize one insertion function. Furthermore, we introduce the maximum total cost and the maximum mean cost to quantify insertion functions. A condition for determining which cost objective to use is established. For each cost, we develop an algorithmic procedure for synthesizing an optimal insertion function from the AIS. Finally, our analysis and enforcement procedure is applied to ensuring location privacy in location-based services." @default.
• W841704020 created "2016-06-24" @default.
• W841704020 creator A5015267150 @default.
• W841704020 date "2014-01-01" @default.
• W841704020 modified "2023-09-27" @default.
• W841704020 title "Verification and Enforcement of Opacity Security Properties in Discrete Event Systems." @default.
• W841704020 cites W1492585812 @default.
• W841704020 cites W1497487247 @default.
• W841704020 cites W1562284768 @default.
• W841704020 cites W157562587 @default.
• W841704020 cites W1579876420 @default.
• W841704020 cites W1587663028 @default.
• W841704020 cites W1597006527 @default.
• W841704020 cites W1609747062 @default.
• W841704020 cites W1689932539 @default.
• W841704020 cites W1793785579 @default.
• W841704020 cites W1812425403 @default.
• W841704020 cites W1929645967 @default.
• W841704020 cites W1971499713 @default.
• W841704020 cites W1977805032 @default.
• W841704020 cites W1978884755 @default.
• W841704020 cites W1979349468 @default.
• W841704020 cites W1985787415 @default.
• W841704020 cites W1992424076 @default.
• W841704020 cites W1992896862 @default.
• W841704020 cites W1998450507 @default.
• W841704020 cites W2001653139 @default.
• W841704020 cites W2008737885 @default.
• W841704020 cites W2026128612 @default.
• W841704020 cites W2028587915 @default.
• W841704020 cites W2031373068 @default.
• W841704020 cites W2036772106 @default.
• W841704020 cites W2036910349 @default.
• W841704020 cites W2037457229 @default.
• W841704020 cites W2040603575 @default.
• W841704020 cites W2049903083 @default.
• W841704020 cites W2052227055 @default.
• W841704020 cites W2056773559 @default.
• W841704020 cites W2061598829 @default.
• W841704020 cites W2064886960 @default.
• W841704020 cites W2068341689 @default.
• W841704020 cites W2068354234 @default.
• W841704020 cites W2074721491 @default.
• W841704020 cites W2082033018 @default.
• W841704020 cites W2087550989 @default.
• W841704020 cites W2089959302 @default.
• W841704020 cites W2096899416 @default.
• W841704020 cites W2101008541 @default.
• W841704020 cites W2103647628 @default.
• W841704020 cites W2115354781 @default.
• W841704020 cites W2117558445 @default.
• W841704020 cites W2118204922 @default.
• W841704020 cites W2118382442 @default.
• W841704020 cites W2126729912 @default.
• W841704020 cites W2144982432 @default.
• W841704020 cites W2146852848 @default.
• W841704020 cites W2149692139 @default.
• W841704020 cites W2154851771 @default.
• W841704020 cites W2158302348 @default.
• W841704020 cites W2159024459 @default.
• W841704020 cites W2162000948 @default.
• W841704020 cites W2277995286 @default.
• W841704020 cites W2293975652 @default.
• W841704020 cites W2550886631 @default.
• W841704020 cites W2613648655 @default.
• W841704020 cites W2801718914 @default.
• W841704020 cites W2912987268 @default.
• W841704020 cites W3015129727 @default.
• W841704020 hasPublicationYear "2014" @default.
• W841704020 type Work @default.
• W841704020 sameAs 841704020 @default.
• W841704020 citedByCount "1" @default.
• W841704020 countsByYear W8417040202021 @default.
• W841704020 crossrefType "dissertation" @default.
• W841704020 hasAuthorship W841704020A5015267150 @default.
• W841704020 hasConcept C111472728 @default.
• W841704020 hasConcept C112505250 @default.
• W841704020 hasConcept C112972136 @default.
• W841704020 hasConcept C119857082 @default.
• W841704020 hasConcept C120665830 @default.
• W841704020 hasConcept C121332964 @default.
• W841704020 hasConcept C138885662 @default.
• W841704020 hasConcept C154945302 @default.
• W841704020 hasConcept C17744445 @default.
• W841704020 hasConcept C189950617 @default.
• W841704020 hasConcept C199539241 @default.
• W841704020 hasConcept C2777212361 @default.
• W841704020 hasConcept C2779662365 @default.
• W841704020 hasConcept C2779777834 @default.
• W841704020 hasConcept C38652104 @default.
• W841704020 hasConcept C41008148 @default.
• W841704020 hasConcept C60056205 @default.
• W841704020 hasConcept C62520636 @default.
• W841704020 hasConcept C80444323 @default.
• W841704020 hasConceptScore W841704020C111472728 @default.
• W841704020 hasConceptScore W841704020C112505250 @default.
• W841704020 hasConceptScore W841704020C112972136 @default.
• W841704020 hasConceptScore W841704020C119857082 @default.
• W841704020 hasConceptScore W841704020C120665830 @default.
• W841704020 hasConceptScore W841704020C121332964 @default.

• next