FRINK Linked Data Fragments server

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

• W2096094850 abstract "We address the problem of characterising the security of a program against unauthorised information flows. Classical approaches are based on non-interference models which depend ultimately on the notion of process equivalence. In these models confidentiality is an absolute property stating the absence of any illegal information flow. We present a model in which the notion of non-interference is approximated in the sense that it allows for some exactly quantified leakage of information. This is characterised via a notion of process similarity which replaces the indistinguishability of processes by a quantitative measure of their behavioural difference. Such a quantity is related to the number of statistical tests needed to distinguish two behaviours. We also present two semantics-based analyses of approximate noninterference and we show that one is a correct abstraction of the other." @default.
• W2096094850 created "2016-06-24" @default.
• W2096094850 creator A5013709529 @default.
• W2096094850 creator A5034703008 @default.
• W2096094850 creator A5018783929 @default.
• W2096094850 date "2003-06-25" @default.
• W2096094850 modified "2023-10-05" @default.
• W2096094850 title "Approximate non-interference" @default.
• W2096094850 cites W1503960128 @default.
• W2096094850 cites W1521474031 @default.
• W2096094850 cites W1527943478 @default.
• W2096094850 cites W1545300203 @default.
• W2096094850 cites W1582292473 @default.
• W2096094850 cites W1940060540 @default.
• W2096094850 cites W1955233489 @default.
• W2096094850 cites W1966212263 @default.
• W2096094850 cites W1976268573 @default.
• W2096094850 cites W1977764760 @default.
• W2096094850 cites W1993941352 @default.
• W2096094850 cites W2033431741 @default.
• W2096094850 cites W2043100293 @default.
• W2096094850 cites W2044260813 @default.
• W2096094850 cites W2056099894 @default.
• W2096094850 cites W2057503672 @default.
• W2096094850 cites W2058602146 @default.
• W2096094850 cites W2099610583 @default.
• W2096094850 cites W2109696340 @default.
• W2096094850 cites W2121739482 @default.
• W2096094850 cites W2124251840 @default.
• W2096094850 cites W2135657750 @default.
• W2096094850 cites W2137174159 @default.
• W2096094850 cites W2137865376 @default.
• W2096094850 cites W2164297069 @default.
• W2096094850 cites W2168686464 @default.
• W2096094850 cites W2173638604 @default.
• W2096094850 cites W2202040224 @default.
• W2096094850 cites W2294561170 @default.
• W2096094850 cites W2729089186 @default.
• W2096094850 cites W2751555667 @default.
• W2096094850 cites W2796291475 @default.
• W2096094850 cites W2142423074 @default.
• W2096094850 cites W2737563519 @default.
• W2096094850 doi "https://doi.org/10.1109/csfw.2002.1021803" @default.
• W2096094850 hasPublicationYear "2003" @default.
• W2096094850 type Work @default.
• W2096094850 sameAs 2096094850 @default.
• W2096094850 citedByCount "71" @default.
• W2096094850 countsByYear W20960948502013 @default.
• W2096094850 countsByYear W20960948502014 @default.
• W2096094850 countsByYear W20960948502015 @default.
• W2096094850 countsByYear W20960948502016 @default.
• W2096094850 countsByYear W20960948502017 @default.
• W2096094850 countsByYear W20960948502018 @default.
• W2096094850 countsByYear W20960948502020 @default.
• W2096094850 crossrefType "proceedings-article" @default.
• W2096094850 hasAuthorship W2096094850A5013709529 @default.
• W2096094850 hasAuthorship W2096094850A5018783929 @default.
• W2096094850 hasAuthorship W2096094850A5034703008 @default.
• W2096094850 hasBestOaLocation W20960948502 @default.
• W2096094850 hasConcept C103278499 @default.
• W2096094850 hasConcept C111472728 @default.
• W2096094850 hasConcept C11413529 @default.
• W2096094850 hasConcept C115961682 @default.
• W2096094850 hasConcept C118615104 @default.
• W2096094850 hasConcept C124101348 @default.
• W2096094850 hasConcept C124304363 @default.
• W2096094850 hasConcept C127162648 @default.
• W2096094850 hasConcept C138885662 @default.
• W2096094850 hasConcept C154945302 @default.
• W2096094850 hasConcept C184337299 @default.
• W2096094850 hasConcept C189950617 @default.
• W2096094850 hasConcept C199360897 @default.
• W2096094850 hasConcept C2779136372 @default.
• W2096094850 hasConcept C2779201187 @default.
• W2096094850 hasConcept C2780009758 @default.
• W2096094850 hasConcept C2780069185 @default.
• W2096094850 hasConcept C31258907 @default.
• W2096094850 hasConcept C32022120 @default.
• W2096094850 hasConcept C33923547 @default.
• W2096094850 hasConcept C38652104 @default.
• W2096094850 hasConcept C41008148 @default.
• W2096094850 hasConcept C41895202 @default.
• W2096094850 hasConcept C80444323 @default.
• W2096094850 hasConcept C98045186 @default.
• W2096094850 hasConceptScore W2096094850C103278499 @default.
• W2096094850 hasConceptScore W2096094850C111472728 @default.
• W2096094850 hasConceptScore W2096094850C11413529 @default.
• W2096094850 hasConceptScore W2096094850C115961682 @default.
• W2096094850 hasConceptScore W2096094850C118615104 @default.
• W2096094850 hasConceptScore W2096094850C124101348 @default.
• W2096094850 hasConceptScore W2096094850C124304363 @default.
• W2096094850 hasConceptScore W2096094850C127162648 @default.
• W2096094850 hasConceptScore W2096094850C138885662 @default.
• W2096094850 hasConceptScore W2096094850C154945302 @default.
• W2096094850 hasConceptScore W2096094850C184337299 @default.
• W2096094850 hasConceptScore W2096094850C189950617 @default.
• W2096094850 hasConceptScore W2096094850C199360897 @default.
• W2096094850 hasConceptScore W2096094850C2779136372 @default.
• W2096094850 hasConceptScore W2096094850C2779201187 @default.
• W2096094850 hasConceptScore W2096094850C2780009758 @default.

• next