Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001944765> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2001944765 endingPage "182" @default.
- W2001944765 startingPage "155" @default.
- W2001944765 abstract "We present a technique for measuring the security of a system which relies on a probabilistic process algebraic formalisation of noninterference. We define a mathematical model for this technique which consists of a linear space of processes and linear transformations on them. In this model the measured quantity corresponds to the norm of a suitably defined linear operator associated to the system. The probabilistic model we adopt is reactive in the sense that processes can react to the environment with a probabilistic choice on a set of inputs; it is also generative in the sense that outputs autonomously chosen by the system are governed by a probability distribution. In this setting, noninterference is formulated in terms of a probabilistic notion of weak bisimulation. We show how the probabilistic information in this notion can be used to estimate the maximal information leakage, i.e. the security degree of a system against a most powerful attacker." @default.
- W2001944765 created "2016-06-24" @default.
- W2001944765 creator A5034703008 @default.
- W2001944765 creator A5044960820 @default.
- W2001944765 date "2004-08-01" @default.
- W2001944765 modified "2023-09-27" @default.
- W2001944765 title "A Quantitative Approach to Noninterference for Probabilistic Systems" @default.
- W2001944765 cites W1482332845 @default.
- W2001944765 cites W1503973138 @default.
- W2001944765 cites W1513989276 @default.
- W2001944765 cites W1529656707 @default.
- W2001944765 cites W1545300203 @default.
- W2001944765 cites W1546768510 @default.
- W2001944765 cites W1704074244 @default.
- W2001944765 cites W1843540884 @default.
- W2001944765 cites W1966212263 @default.
- W2001944765 cites W1970318869 @default.
- W2001944765 cites W1977764760 @default.
- W2001944765 cites W2024355065 @default.
- W2001944765 cites W2094902343 @default.
- W2001944765 cites W2099111195 @default.
- W2001944765 cites W2103759928 @default.
- W2001944765 cites W2105443119 @default.
- W2001944765 cites W2107471150 @default.
- W2001944765 cites W2121739482 @default.
- W2001944765 cites W2124251840 @default.
- W2001944765 cites W2135657750 @default.
- W2001944765 cites W2152692559 @default.
- W2001944765 cites W2173638604 @default.
- W2001944765 cites W2294561170 @default.
- W2001944765 cites W2736576240 @default.
- W2001944765 doi "https://doi.org/10.1016/j.entcs.2004.02.007" @default.
- W2001944765 hasPublicationYear "2004" @default.
- W2001944765 type Work @default.
- W2001944765 sameAs 2001944765 @default.
- W2001944765 citedByCount "15" @default.
- W2001944765 countsByYear W20019447652013 @default.
- W2001944765 countsByYear W20019447652014 @default.
- W2001944765 countsByYear W20019447652018 @default.
- W2001944765 countsByYear W20019447652020 @default.
- W2001944765 crossrefType "journal-article" @default.
- W2001944765 hasAuthorship W2001944765A5034703008 @default.
- W2001944765 hasAuthorship W2001944765A5044960820 @default.
- W2001944765 hasBestOaLocation W20019447651 @default.
- W2001944765 hasConcept C154945302 @default.
- W2001944765 hasConcept C199360897 @default.
- W2001944765 hasConcept C41008148 @default.
- W2001944765 hasConcept C49937458 @default.
- W2001944765 hasConcept C80444323 @default.
- W2001944765 hasConceptScore W2001944765C154945302 @default.
- W2001944765 hasConceptScore W2001944765C199360897 @default.
- W2001944765 hasConceptScore W2001944765C41008148 @default.
- W2001944765 hasConceptScore W2001944765C49937458 @default.
- W2001944765 hasConceptScore W2001944765C80444323 @default.
- W2001944765 hasLocation W20019447651 @default.
- W2001944765 hasLocation W20019447652 @default.
- W2001944765 hasOpenAccess W2001944765 @default.
- W2001944765 hasPrimaryLocation W20019447651 @default.
- W2001944765 hasRelatedWork W2109507516 @default.
- W2001944765 hasRelatedWork W2112962394 @default.
- W2001944765 hasRelatedWork W2118300983 @default.
- W2001944765 hasRelatedWork W2166247150 @default.
- W2001944765 hasRelatedWork W2740990710 @default.
- W2001944765 hasRelatedWork W2999589555 @default.
- W2001944765 hasRelatedWork W3137189469 @default.
- W2001944765 hasRelatedWork W4235530921 @default.
- W2001944765 hasRelatedWork W4243252198 @default.
- W2001944765 hasRelatedWork W4290792893 @default.
- W2001944765 hasVolume "99" @default.
- W2001944765 isParatext "false" @default.
- W2001944765 isRetracted "false" @default.
- W2001944765 magId "2001944765" @default.
- W2001944765 workType "article" @default.