Matches in SemOpenAlex for { <https://semopenalex.org/work/W2972041020> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2972041020 abstract "We consider the problem of quantifying information flow in interactive systems, modelled as finite-state transducers in the style of Goguen and Meseguer. Our main result is that if the system is deterministic then the information flow is either logarithmic or linear, and there is a polynomial-time algorithm to distinguish the two cases and compute the rate of logarithmic flow. To achieve this we first extend the theory of information leakage through channels to the case of interactive systems, and establish a number of results which greatly simplify computation. We then show that for deterministic systems the information flow corresponds to the growth rate of antichains inside a certain regular language, a property called the width of the language. In a companion work we have shown that there is a dichotomy between polynomial and exponential antichain growth, and a polynomial time algorithm to distinguish the two cases and to compute the order of polynomial growth. We observe that these two cases correspond to logarithmic and linear information flow respectively. Finally, we formulate several attractive open problems, covering the cases of probabilistic systems, systems with more than two users and nondeterministic systems where the nondeterminism is assumed to be innocent rather than demonic." @default.
- W2972041020 created "2019-09-12" @default.
- W2972041020 creator A5062978270 @default.
- W2972041020 date "2019-06-01" @default.
- W2972041020 modified "2023-09-26" @default.
- W2972041020 title "Quantifying Information Flow in Interactive Systems" @default.
- W2972041020 cites W1589478560 @default.
- W2972041020 cites W1920159904 @default.
- W2972041020 cites W1951878570 @default.
- W2972041020 cites W1977764760 @default.
- W2972041020 cites W1995875735 @default.
- W2972041020 cites W2050869006 @default.
- W2972041020 cites W2075773711 @default.
- W2972041020 cites W2109957487 @default.
- W2972041020 cites W2117895828 @default.
- W2972041020 cites W2119966192 @default.
- W2972041020 cites W2121739482 @default.
- W2972041020 cites W2246520897 @default.
- W2972041020 cites W4254807835 @default.
- W2972041020 doi "https://doi.org/10.1109/csf.2019.00035" @default.
- W2972041020 hasPublicationYear "2019" @default.
- W2972041020 type Work @default.
- W2972041020 sameAs 2972041020 @default.
- W2972041020 citedByCount "1" @default.
- W2972041020 countsByYear W29720410202022 @default.
- W2972041020 crossrefType "proceedings-article" @default.
- W2972041020 hasAuthorship W2972041020A5062978270 @default.
- W2972041020 hasBestOaLocation W29720410201 @default.
- W2972041020 hasConcept C105795698 @default.
- W2972041020 hasConcept C11413529 @default.
- W2972041020 hasConcept C118615104 @default.
- W2972041020 hasConcept C134306372 @default.
- W2972041020 hasConcept C176181172 @default.
- W2972041020 hasConcept C2524010 @default.
- W2972041020 hasConcept C311688 @default.
- W2972041020 hasConcept C33923547 @default.
- W2972041020 hasConcept C38349280 @default.
- W2972041020 hasConcept C39927690 @default.
- W2972041020 hasConcept C41008148 @default.
- W2972041020 hasConcept C45374587 @default.
- W2972041020 hasConcept C49937458 @default.
- W2972041020 hasConcept C6802819 @default.
- W2972041020 hasConcept C80444323 @default.
- W2972041020 hasConcept C90119067 @default.
- W2972041020 hasConceptScore W2972041020C105795698 @default.
- W2972041020 hasConceptScore W2972041020C11413529 @default.
- W2972041020 hasConceptScore W2972041020C118615104 @default.
- W2972041020 hasConceptScore W2972041020C134306372 @default.
- W2972041020 hasConceptScore W2972041020C176181172 @default.
- W2972041020 hasConceptScore W2972041020C2524010 @default.
- W2972041020 hasConceptScore W2972041020C311688 @default.
- W2972041020 hasConceptScore W2972041020C33923547 @default.
- W2972041020 hasConceptScore W2972041020C38349280 @default.
- W2972041020 hasConceptScore W2972041020C39927690 @default.
- W2972041020 hasConceptScore W2972041020C41008148 @default.
- W2972041020 hasConceptScore W2972041020C45374587 @default.
- W2972041020 hasConceptScore W2972041020C49937458 @default.
- W2972041020 hasConceptScore W2972041020C6802819 @default.
- W2972041020 hasConceptScore W2972041020C80444323 @default.
- W2972041020 hasConceptScore W2972041020C90119067 @default.
- W2972041020 hasLocation W29720410201 @default.
- W2972041020 hasLocation W29720410202 @default.
- W2972041020 hasLocation W29720410203 @default.
- W2972041020 hasOpenAccess W2972041020 @default.
- W2972041020 hasPrimaryLocation W29720410201 @default.
- W2972041020 hasRelatedWork W1504650505 @default.
- W2972041020 hasRelatedWork W1768862053 @default.
- W2972041020 hasRelatedWork W1810681804 @default.
- W2972041020 hasRelatedWork W2091348237 @default.
- W2972041020 hasRelatedWork W2107772053 @default.
- W2972041020 hasRelatedWork W2144557478 @default.
- W2972041020 hasRelatedWork W61794064 @default.
- W2972041020 hasRelatedWork W1483438220 @default.
- W2972041020 hasRelatedWork W1579038633 @default.
- W2972041020 hasRelatedWork W2753243299 @default.
- W2972041020 isParatext "false" @default.
- W2972041020 isRetracted "false" @default.
- W2972041020 magId "2972041020" @default.
- W2972041020 workType "article" @default.