Matches in SemOpenAlex for { <https://semopenalex.org/work/W1968724592> ?p ?o ?g. }
- W1968724592 endingPage "199" @default.
- W1968724592 startingPage "181" @default.
- W1968724592 abstract "This paper uses Shannon's information theory to give a quantitative definition of information flow in systems that transform inputs to outputs. For deterministic systems, the definition is shown to specialize to a simpler form when the information source and the known inputs jointly determine all inputs uniquely. For this special case, the definition is related to the classical security condition of non-interference and an equivalence is established between non-interference and independence of random variables. Quantitative information flow for deterministic systems is then presented in relational form. With this presentation, it is shown how relational parametricity can be used to derive upper and lower bounds on information flows through families of functions defined in the second-order lambda calculus." @default.
- W1968724592 created "2016-06-24" @default.
- W1968724592 creator A5013673413 @default.
- W1968724592 date "2005-04-01" @default.
- W1968724592 modified "2023-10-18" @default.
- W1968724592 title "Quantitative Information Flow, Relations and Polymorphic Types" @default.
- W1968724592 cites W137618863 @default.
- W1968724592 cites W1497022621 @default.
- W1968724592 cites W1518533182 @default.
- W1968724592 cites W1521474031 @default.
- W1968724592 cites W1555100187 @default.
- W1968724592 cites W159715351 @default.
- W1968724592 cites W1882297107 @default.
- W1968724592 cites W1965297988 @default.
- W1968724592 cites W1966981171 @default.
- W1968724592 cites W1977764760 @default.
- W1968724592 cites W1993941352 @default.
- W1968724592 cites W1995875735 @default.
- W1968724592 cites W2019376542 @default.
- W1968724592 cites W2027423863 @default.
- W1968724592 cites W2055351465 @default.
- W1968724592 cites W2057292961 @default.
- W1968724592 cites W2057503672 @default.
- W1968724592 cites W2067012475 @default.
- W1968724592 cites W2096094850 @default.
- W1968724592 cites W2099111195 @default.
- W1968724592 cites W2100019646 @default.
- W1968724592 cites W2103759928 @default.
- W1968724592 cites W2115270921 @default.
- W1968724592 cites W2116647386 @default.
- W1968724592 cites W2121739482 @default.
- W1968724592 cites W2122049982 @default.
- W1968724592 cites W2123097583 @default.
- W1968724592 cites W2124251840 @default.
- W1968724592 cites W2129858673 @default.
- W1968724592 cites W2130241416 @default.
- W1968724592 cites W2131916295 @default.
- W1968724592 cites W2142223028 @default.
- W1968724592 cites W2146705998 @default.
- W1968724592 cites W2150174204 @default.
- W1968724592 cites W2163976959 @default.
- W1968724592 cites W2166822586 @default.
- W1968724592 cites W2168686464 @default.
- W1968724592 cites W2177254373 @default.
- W1968724592 cites W326743114 @default.
- W1968724592 cites W2626976157 @default.
- W1968724592 doi "https://doi.org/10.1093/logcom/exi009" @default.
- W1968724592 hasPublicationYear "2005" @default.
- W1968724592 type Work @default.
- W1968724592 sameAs 1968724592 @default.
- W1968724592 citedByCount "126" @default.
- W1968724592 countsByYear W19687245922012 @default.
- W1968724592 countsByYear W19687245922013 @default.
- W1968724592 countsByYear W19687245922014 @default.
- W1968724592 countsByYear W19687245922015 @default.
- W1968724592 countsByYear W19687245922016 @default.
- W1968724592 countsByYear W19687245922017 @default.
- W1968724592 countsByYear W19687245922018 @default.
- W1968724592 countsByYear W19687245922019 @default.
- W1968724592 countsByYear W19687245922020 @default.
- W1968724592 countsByYear W19687245922021 @default.
- W1968724592 countsByYear W19687245922022 @default.
- W1968724592 countsByYear W19687245922023 @default.
- W1968724592 crossrefType "journal-article" @default.
- W1968724592 hasAuthorship W1968724592A5013673413 @default.
- W1968724592 hasConcept C105795698 @default.
- W1968724592 hasConcept C11413529 @default.
- W1968724592 hasConcept C118615104 @default.
- W1968724592 hasConcept C138885662 @default.
- W1968724592 hasConcept C2779136372 @default.
- W1968724592 hasConcept C2780069185 @default.
- W1968724592 hasConcept C33923547 @default.
- W1968724592 hasConcept C35651441 @default.
- W1968724592 hasConcept C41008148 @default.
- W1968724592 hasConcept C41895202 @default.
- W1968724592 hasConcept C52622258 @default.
- W1968724592 hasConcept C80444323 @default.
- W1968724592 hasConceptScore W1968724592C105795698 @default.
- W1968724592 hasConceptScore W1968724592C11413529 @default.
- W1968724592 hasConceptScore W1968724592C118615104 @default.
- W1968724592 hasConceptScore W1968724592C138885662 @default.
- W1968724592 hasConceptScore W1968724592C2779136372 @default.
- W1968724592 hasConceptScore W1968724592C2780069185 @default.
- W1968724592 hasConceptScore W1968724592C33923547 @default.
- W1968724592 hasConceptScore W1968724592C35651441 @default.
- W1968724592 hasConceptScore W1968724592C41008148 @default.
- W1968724592 hasConceptScore W1968724592C41895202 @default.
- W1968724592 hasConceptScore W1968724592C52622258 @default.
- W1968724592 hasConceptScore W1968724592C80444323 @default.
- W1968724592 hasIssue "2" @default.
- W1968724592 hasLocation W19687245921 @default.
- W1968724592 hasOpenAccess W1968724592 @default.
- W1968724592 hasPrimaryLocation W19687245921 @default.
- W1968724592 hasRelatedWork W1034061887 @default.
- W1968724592 hasRelatedWork W1538588767 @default.
- W1968724592 hasRelatedWork W1951878570 @default.
- W1968724592 hasRelatedWork W2018206907 @default.
- W1968724592 hasRelatedWork W2027762620 @default.