Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002561382> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2002561382 abstract "Motivated by security and privacy considerations in applications of discrete event systems, various notions of opacity have been introduced. Specifically, a system is said to be current-state opaque if the entrance of the system state to a set of secret states remains opaque (uncertain) to an intruder - at least until the system leaves the set of secret states. This notion, which has been studied in non-deterministic finite automaton settings where the intruder observes a subset of events, has been shown to be useful in characterizing security requirements in many applications (including encryption using pseudo-random generators and trajectory coverage of a mobile agent in sensor networks). One limitation of these existing approaches is that they fail to provide a quantifiable measure for characterizing the degree of opacity of a given system. In this paper, we partially address this limitation by extending this framework to systems that can be modeled as probabilistic finite automata, characterizing in the process the probability of observing a violation of current-state opacity. We introduce the notion of step-based almost current-state opacity which provides a measure of opacity for a given system. We also propose a verification method for this probabilistic notion of opacity and characterize its computational complexity." @default.
- W2002561382 created "2016-06-24" @default.
- W2002561382 creator A5030551100 @default.
- W2002561382 creator A5086806518 @default.
- W2002561382 date "2010-12-01" @default.
- W2002561382 modified "2023-10-15" @default.
- W2002561382 title "Opacity verification in stochastic discrete event systems" @default.
- W2002561382 cites W1505659502 @default.
- W2002561382 cites W2031373068 @default.
- W2002561382 cites W2101961364 @default.
- W2002561382 cites W2131628306 @default.
- W2002561382 cites W2162000948 @default.
- W2002561382 cites W2509841691 @default.
- W2002561382 cites W391578156 @default.
- W2002561382 cites W4245558686 @default.
- W2002561382 doi "https://doi.org/10.1109/cdc.2010.5717580" @default.
- W2002561382 hasPublicationYear "2010" @default.
- W2002561382 type Work @default.
- W2002561382 sameAs 2002561382 @default.
- W2002561382 citedByCount "16" @default.
- W2002561382 countsByYear W20025613822013 @default.
- W2002561382 countsByYear W20025613822014 @default.
- W2002561382 countsByYear W20025613822015 @default.
- W2002561382 countsByYear W20025613822016 @default.
- W2002561382 countsByYear W20025613822019 @default.
- W2002561382 countsByYear W20025613822021 @default.
- W2002561382 countsByYear W20025613822022 @default.
- W2002561382 countsByYear W20025613822023 @default.
- W2002561382 crossrefType "proceedings-article" @default.
- W2002561382 hasAuthorship W2002561382A5030551100 @default.
- W2002561382 hasAuthorship W2002561382A5086806518 @default.
- W2002561382 hasConcept C112505250 @default.
- W2002561382 hasConcept C11413529 @default.
- W2002561382 hasConcept C120665830 @default.
- W2002561382 hasConcept C121332964 @default.
- W2002561382 hasConcept C124101348 @default.
- W2002561382 hasConcept C154945302 @default.
- W2002561382 hasConcept C174784677 @default.
- W2002561382 hasConcept C177264268 @default.
- W2002561382 hasConcept C199360897 @default.
- W2002561382 hasConcept C2779662365 @default.
- W2002561382 hasConcept C2780009758 @default.
- W2002561382 hasConcept C41008148 @default.
- W2002561382 hasConcept C48103436 @default.
- W2002561382 hasConcept C49937458 @default.
- W2002561382 hasConcept C60056205 @default.
- W2002561382 hasConcept C62520636 @default.
- W2002561382 hasConcept C80444323 @default.
- W2002561382 hasConceptScore W2002561382C112505250 @default.
- W2002561382 hasConceptScore W2002561382C11413529 @default.
- W2002561382 hasConceptScore W2002561382C120665830 @default.
- W2002561382 hasConceptScore W2002561382C121332964 @default.
- W2002561382 hasConceptScore W2002561382C124101348 @default.
- W2002561382 hasConceptScore W2002561382C154945302 @default.
- W2002561382 hasConceptScore W2002561382C174784677 @default.
- W2002561382 hasConceptScore W2002561382C177264268 @default.
- W2002561382 hasConceptScore W2002561382C199360897 @default.
- W2002561382 hasConceptScore W2002561382C2779662365 @default.
- W2002561382 hasConceptScore W2002561382C2780009758 @default.
- W2002561382 hasConceptScore W2002561382C41008148 @default.
- W2002561382 hasConceptScore W2002561382C48103436 @default.
- W2002561382 hasConceptScore W2002561382C49937458 @default.
- W2002561382 hasConceptScore W2002561382C60056205 @default.
- W2002561382 hasConceptScore W2002561382C62520636 @default.
- W2002561382 hasConceptScore W2002561382C80444323 @default.
- W2002561382 hasLocation W20025613821 @default.
- W2002561382 hasOpenAccess W2002561382 @default.
- W2002561382 hasPrimaryLocation W20025613821 @default.
- W2002561382 hasRelatedWork W1502991851 @default.
- W2002561382 hasRelatedWork W1573261754 @default.
- W2002561382 hasRelatedWork W2124122503 @default.
- W2002561382 hasRelatedWork W249340682 @default.
- W2002561382 hasRelatedWork W2888947890 @default.
- W2002561382 hasRelatedWork W2951499473 @default.
- W2002561382 hasRelatedWork W2971669726 @default.
- W2002561382 hasRelatedWork W3011232735 @default.
- W2002561382 hasRelatedWork W3104705157 @default.
- W2002561382 hasRelatedWork W4321843626 @default.
- W2002561382 isParatext "false" @default.
- W2002561382 isRetracted "false" @default.
- W2002561382 magId "2002561382" @default.
- W2002561382 workType "article" @default.