Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168686464> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2168686464 abstract "We present a probability-sensitive confidentiality specification-a form of probabilistic noninterference-for a small multi-threaded programming language with dynamic thread creation. Probabilistic covert channels arise from a scheduler which is probabilistic. Since scheduling policy is typically outside the language specification for multi-threaded languages, we describe how to generalise the security condition in order to define how to generalise the security condition in order to define robust security with respect to a wide class of schedulers, not excluding the possibility of deterministic (e.g., round-robin) schedulers and program-controlled thread priorities. The formulation is based on an adaptation of Larsen and Skou's (1991) notion of probabilistic bisimulation. We show how the security condition satisfies compositionality properties which facilitate straightforward proofs of correctness for, e.g., security type systems. We illustrate this by defining a security type system which improves on previous multi-threaded systems, and by proving it correct with respect to our stronger scheduler-independent security condition." @default.
- W2168686464 created "2016-06-24" @default.
- W2168686464 creator A5070340953 @default.
- W2168686464 creator A5082447666 @default.
- W2168686464 date "2002-11-07" @default.
- W2168686464 modified "2023-10-18" @default.
- W2168686464 title "Probabilistic noninterference for multi-threaded programs" @default.
- W2168686464 cites W1613874182 @default.
- W2168686464 cites W1940060540 @default.
- W2168686464 cites W1976268573 @default.
- W2168686464 cites W1977764760 @default.
- W2168686464 cites W1993302007 @default.
- W2168686464 cites W1997775274 @default.
- W2168686464 cites W2016017569 @default.
- W2168686464 cites W2057503672 @default.
- W2168686464 cites W2094873755 @default.
- W2168686464 cites W2121225040 @default.
- W2168686464 cites W2129278597 @default.
- W2168686464 cites W2150174204 @default.
- W2168686464 cites W2167446340 @default.
- W2168686464 cites W2168197734 @default.
- W2168686464 cites W2180221446 @default.
- W2168686464 cites W2294561170 @default.
- W2168686464 doi "https://doi.org/10.1109/csfw.2000.856937" @default.
- W2168686464 hasPublicationYear "2002" @default.
- W2168686464 type Work @default.
- W2168686464 sameAs 2168686464 @default.
- W2168686464 citedByCount "216" @default.
- W2168686464 countsByYear W21686864642012 @default.
- W2168686464 countsByYear W21686864642013 @default.
- W2168686464 countsByYear W21686864642014 @default.
- W2168686464 countsByYear W21686864642015 @default.
- W2168686464 countsByYear W21686864642016 @default.
- W2168686464 countsByYear W21686864642017 @default.
- W2168686464 countsByYear W21686864642018 @default.
- W2168686464 countsByYear W21686864642019 @default.
- W2168686464 countsByYear W21686864642020 @default.
- W2168686464 countsByYear W21686864642021 @default.
- W2168686464 countsByYear W21686864642023 @default.
- W2168686464 crossrefType "proceedings-article" @default.
- W2168686464 hasAuthorship W2168686464A5070340953 @default.
- W2168686464 hasAuthorship W2168686464A5082447666 @default.
- W2168686464 hasConcept C103377522 @default.
- W2168686464 hasConcept C108710211 @default.
- W2168686464 hasConcept C111919701 @default.
- W2168686464 hasConcept C120314980 @default.
- W2168686464 hasConcept C121375916 @default.
- W2168686464 hasConcept C126255220 @default.
- W2168686464 hasConcept C138101251 @default.
- W2168686464 hasConcept C154945302 @default.
- W2168686464 hasConcept C184842701 @default.
- W2168686464 hasConcept C199360897 @default.
- W2168686464 hasConcept C206729178 @default.
- W2168686464 hasConcept C2524010 @default.
- W2168686464 hasConcept C29024540 @default.
- W2168686464 hasConcept C33923547 @default.
- W2168686464 hasConcept C41008148 @default.
- W2168686464 hasConcept C49937458 @default.
- W2168686464 hasConcept C55439883 @default.
- W2168686464 hasConcept C79974875 @default.
- W2168686464 hasConcept C80444323 @default.
- W2168686464 hasConceptScore W2168686464C103377522 @default.
- W2168686464 hasConceptScore W2168686464C108710211 @default.
- W2168686464 hasConceptScore W2168686464C111919701 @default.
- W2168686464 hasConceptScore W2168686464C120314980 @default.
- W2168686464 hasConceptScore W2168686464C121375916 @default.
- W2168686464 hasConceptScore W2168686464C126255220 @default.
- W2168686464 hasConceptScore W2168686464C138101251 @default.
- W2168686464 hasConceptScore W2168686464C154945302 @default.
- W2168686464 hasConceptScore W2168686464C184842701 @default.
- W2168686464 hasConceptScore W2168686464C199360897 @default.
- W2168686464 hasConceptScore W2168686464C206729178 @default.
- W2168686464 hasConceptScore W2168686464C2524010 @default.
- W2168686464 hasConceptScore W2168686464C29024540 @default.
- W2168686464 hasConceptScore W2168686464C33923547 @default.
- W2168686464 hasConceptScore W2168686464C41008148 @default.
- W2168686464 hasConceptScore W2168686464C49937458 @default.
- W2168686464 hasConceptScore W2168686464C55439883 @default.
- W2168686464 hasConceptScore W2168686464C79974875 @default.
- W2168686464 hasConceptScore W2168686464C80444323 @default.
- W2168686464 hasLocation W21686864641 @default.
- W2168686464 hasOpenAccess W2168686464 @default.
- W2168686464 hasPrimaryLocation W21686864641 @default.
- W2168686464 hasRelatedWork W1019628555 @default.
- W2168686464 hasRelatedWork W1135403299 @default.
- W2168686464 hasRelatedWork W1828810364 @default.
- W2168686464 hasRelatedWork W1882733036 @default.
- W2168686464 hasRelatedWork W1992741870 @default.
- W2168686464 hasRelatedWork W2053237764 @default.
- W2168686464 hasRelatedWork W2107399212 @default.
- W2168686464 hasRelatedWork W2160425906 @default.
- W2168686464 hasRelatedWork W2546696010 @default.
- W2168686464 hasRelatedWork W4291371193 @default.
- W2168686464 isParatext "false" @default.
- W2168686464 isRetracted "false" @default.
- W2168686464 magId "2168686464" @default.
- W2168686464 workType "article" @default.