Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380838997> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4380838997 endingPage "1" @default.
- W4380838997 startingPage "1" @default.
- W4380838997 abstract "Opacity is an information-flow property capturing privacy from observers that are aware of a system’s dynamics. The potential for an observer with perfect recall to reason about long histories of the system poses a challenge for opacity verification. In this paper, we address this challenge by proposing a new notion of opacity over automata, called bounded memory opacity, with respect to an observer with a bounded memory. We show that verifying this weaker notion of opacity has reduced computational complexity compared to general opacity (co-NP vs. PSPACE). Furthermore, we present a corresponding verification algorithm using an encoding to the Boolean satisfiability problem (SAT). We demonstrate this approach on randomly generated automata as well as a web server load-hiding example." @default.
- W4380838997 created "2023-06-16" @default.
- W4380838997 creator A5027585653 @default.
- W4380838997 creator A5054037768 @default.
- W4380838997 creator A5054418471 @default.
- W4380838997 date "2023-01-01" @default.
- W4380838997 modified "2023-09-24" @default.
- W4380838997 title "Opacity from Observers with a Bounded Memory" @default.
- W4380838997 doi "https://doi.org/10.1109/lcsys.2023.3286777" @default.
- W4380838997 hasPublicationYear "2023" @default.
- W4380838997 type Work @default.
- W4380838997 citedByCount "0" @default.
- W4380838997 crossrefType "journal-article" @default.
- W4380838997 hasAuthorship W4380838997A5027585653 @default.
- W4380838997 hasAuthorship W4380838997A5054037768 @default.
- W4380838997 hasAuthorship W4380838997A5054418471 @default.
- W4380838997 hasConcept C112505250 @default.
- W4380838997 hasConcept C11413529 @default.
- W4380838997 hasConcept C120665830 @default.
- W4380838997 hasConcept C121332964 @default.
- W4380838997 hasConcept C134306372 @default.
- W4380838997 hasConcept C168773769 @default.
- W4380838997 hasConcept C179799912 @default.
- W4380838997 hasConcept C197685441 @default.
- W4380838997 hasConcept C2780704645 @default.
- W4380838997 hasConcept C33923547 @default.
- W4380838997 hasConcept C34388435 @default.
- W4380838997 hasConcept C41008148 @default.
- W4380838997 hasConcept C60056205 @default.
- W4380838997 hasConcept C62520636 @default.
- W4380838997 hasConcept C6943359 @default.
- W4380838997 hasConcept C80444323 @default.
- W4380838997 hasConceptScore W4380838997C112505250 @default.
- W4380838997 hasConceptScore W4380838997C11413529 @default.
- W4380838997 hasConceptScore W4380838997C120665830 @default.
- W4380838997 hasConceptScore W4380838997C121332964 @default.
- W4380838997 hasConceptScore W4380838997C134306372 @default.
- W4380838997 hasConceptScore W4380838997C168773769 @default.
- W4380838997 hasConceptScore W4380838997C179799912 @default.
- W4380838997 hasConceptScore W4380838997C197685441 @default.
- W4380838997 hasConceptScore W4380838997C2780704645 @default.
- W4380838997 hasConceptScore W4380838997C33923547 @default.
- W4380838997 hasConceptScore W4380838997C34388435 @default.
- W4380838997 hasConceptScore W4380838997C41008148 @default.
- W4380838997 hasConceptScore W4380838997C60056205 @default.
- W4380838997 hasConceptScore W4380838997C62520636 @default.
- W4380838997 hasConceptScore W4380838997C6943359 @default.
- W4380838997 hasConceptScore W4380838997C80444323 @default.
- W4380838997 hasLocation W43808389971 @default.
- W4380838997 hasOpenAccess W4380838997 @default.
- W4380838997 hasPrimaryLocation W43808389971 @default.
- W4380838997 hasRelatedWork W1492864441 @default.
- W4380838997 hasRelatedWork W1566380696 @default.
- W4380838997 hasRelatedWork W2007671683 @default.
- W4380838997 hasRelatedWork W2043435342 @default.
- W4380838997 hasRelatedWork W2443228692 @default.
- W4380838997 hasRelatedWork W3042708252 @default.
- W4380838997 hasRelatedWork W340109471 @default.
- W4380838997 hasRelatedWork W4226117819 @default.
- W4380838997 hasRelatedWork W2187296116 @default.
- W4380838997 hasRelatedWork W2565946474 @default.
- W4380838997 isParatext "false" @default.
- W4380838997 isRetracted "false" @default.
- W4380838997 workType "article" @default.