Matches in SemOpenAlex for { <https://semopenalex.org/work/W1529656707> ?p ?o ?g. }
- W1529656707 endingPage "245" @default.
- W1529656707 startingPage "191" @default.
- W1529656707 abstract "We define several security properties for the analysis of probabilistic noninterference as a conservative extension of a classical, nondeterministic, process-algebraic approach to information flow theory. We show that probabilistic covert channels (that are not observable in the nondeterministic setting) may be revealed through our approach and that probabilistic information can be exploited to give an estimate of the amount of confidential information flowing to unauthorized users. Finally, we present a case study showing that the expressiveness of the calculus we adopt makes it possible to model and analyze real concurrent systems." @default.
- W1529656707 created "2016-06-24" @default.
- W1529656707 creator A5000720054 @default.
- W1529656707 creator A5044960820 @default.
- W1529656707 creator A5066677397 @default.
- W1529656707 date "2004-02-01" @default.
- W1529656707 modified "2023-10-18" @default.
- W1529656707 title "A process-algebraic approach for the analysis of probabilistic noninterference1" @default.
- W1529656707 cites W10909475 @default.
- W1529656707 cites W1497416278 @default.
- W1529656707 cites W1503093502 @default.
- W1529656707 cites W1503960128 @default.
- W1529656707 cites W1503973138 @default.
- W1529656707 cites W1513989276 @default.
- W1529656707 cites W1521474031 @default.
- W1529656707 cites W1545300203 @default.
- W1529656707 cites W1562978232 @default.
- W1529656707 cites W1571487936 @default.
- W1529656707 cites W1585861293 @default.
- W1529656707 cites W1640592531 @default.
- W1529656707 cites W1704074244 @default.
- W1529656707 cites W1843540884 @default.
- W1529656707 cites W1894198336 @default.
- W1529656707 cites W1908986321 @default.
- W1529656707 cites W1963710334 @default.
- W1529656707 cites W1966212263 @default.
- W1529656707 cites W1970318869 @default.
- W1529656707 cites W1977764760 @default.
- W1529656707 cites W1991972246 @default.
- W1529656707 cites W1993302007 @default.
- W1529656707 cites W1993941352 @default.
- W1529656707 cites W2004627178 @default.
- W1529656707 cites W2005328758 @default.
- W1529656707 cites W2094902343 @default.
- W1529656707 cites W2096094850 @default.
- W1529656707 cites W2100019646 @default.
- W1529656707 cites W2107471150 @default.
- W1529656707 cites W2113391296 @default.
- W1529656707 cites W2119275622 @default.
- W1529656707 cites W2121739482 @default.
- W1529656707 cites W2124251840 @default.
- W1529656707 cites W2133996557 @default.
- W1529656707 cites W2135657750 @default.
- W1529656707 cites W2137660666 @default.
- W1529656707 cites W2139015713 @default.
- W1529656707 cites W2140665129 @default.
- W1529656707 cites W2156724686 @default.
- W1529656707 cites W2158196184 @default.
- W1529656707 cites W2162022335 @default.
- W1529656707 cites W2167446340 @default.
- W1529656707 cites W2168686464 @default.
- W1529656707 cites W2168753065 @default.
- W1529656707 cites W2170018380 @default.
- W1529656707 cites W2174737314 @default.
- W1529656707 cites W2176300081 @default.
- W1529656707 cites W2177254373 @default.
- W1529656707 cites W2289364018 @default.
- W1529656707 cites W2295033152 @default.
- W1529656707 cites W2501266110 @default.
- W1529656707 cites W2570055034 @default.
- W1529656707 cites W2948700248 @default.
- W1529656707 cites W2996027056 @default.
- W1529656707 cites W3140124136 @default.
- W1529656707 cites W3144368627 @default.
- W1529656707 cites W2737563519 @default.
- W1529656707 doi "https://doi.org/10.3233/jcs-2004-12202" @default.
- W1529656707 hasPublicationYear "2004" @default.
- W1529656707 type Work @default.
- W1529656707 sameAs 1529656707 @default.
- W1529656707 citedByCount "55" @default.
- W1529656707 countsByYear W15296567072012 @default.
- W1529656707 countsByYear W15296567072013 @default.
- W1529656707 countsByYear W15296567072014 @default.
- W1529656707 countsByYear W15296567072015 @default.
- W1529656707 countsByYear W15296567072016 @default.
- W1529656707 countsByYear W15296567072017 @default.
- W1529656707 countsByYear W15296567072019 @default.
- W1529656707 crossrefType "journal-article" @default.
- W1529656707 hasAuthorship W1529656707A5000720054 @default.
- W1529656707 hasAuthorship W1529656707A5044960820 @default.
- W1529656707 hasAuthorship W1529656707A5066677397 @default.
- W1529656707 hasBestOaLocation W15296567072 @default.
- W1529656707 hasConcept C134306372 @default.
- W1529656707 hasConcept C138885662 @default.
- W1529656707 hasConcept C154945302 @default.
- W1529656707 hasConcept C161771561 @default.
- W1529656707 hasConcept C176181172 @default.
- W1529656707 hasConcept C193702766 @default.
- W1529656707 hasConcept C199360897 @default.
- W1529656707 hasConcept C2778029271 @default.
- W1529656707 hasConcept C2779136372 @default.
- W1529656707 hasConcept C2779338814 @default.
- W1529656707 hasConcept C33923547 @default.
- W1529656707 hasConcept C41008148 @default.
- W1529656707 hasConcept C41895202 @default.
- W1529656707 hasConcept C49937458 @default.
- W1529656707 hasConcept C80444323 @default.
- W1529656707 hasConcept C9376300 @default.