Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112960082> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2112960082 abstract "Probabilistic information flow security properties such as probabilistic noninterference ensure that different behaviors of the high part of the system do not affect the probability distribution of the low events. However, to deal with real applications, it is necessary to cope with intransitive flow policies like channel control and secure downgrading of probabilistic information. In this paper, we introduce the concept of trust domain into Probabilistic Secure Process Algebra (PSPA), and then extend intransitive noninterference to probabilistic systems which is modeled by PSPA. Based on weak probabilistic bisimulation equivalence, we propose security properties for intransitive flow for probabilistic systems, in particular two properties which are persistent, in the sense that if a system is secure then all of its reachable states are secure too. Moreover, we show that such persistent intransitive probabilistic properties can be characterized in terms of unwinding conditions which demand properties of individual actions." @default.
- W2112960082 created "2016-06-24" @default.
- W2112960082 creator A5034024928 @default.
- W2112960082 creator A5047605026 @default.
- W2112960082 creator A5082090976 @default.
- W2112960082 creator A5085524974 @default.
- W2112960082 date "2007-08-01" @default.
- W2112960082 modified "2023-09-27" @default.
- W2112960082 title "Extending intransitive noninterference with probabilities in information flow security" @default.
- W2112960082 cites W1739542898 @default.
- W2112960082 cites W1977764760 @default.
- W2112960082 cites W2022018073 @default.
- W2112960082 cites W2080914957 @default.
- W2112960082 cites W2090824499 @default.
- W2112960082 cites W2109332509 @default.
- W2112960082 cites W2114416343 @default.
- W2112960082 cites W2118624724 @default.
- W2112960082 cites W2122522758 @default.
- W2112960082 cites W2123106337 @default.
- W2112960082 cites W2130410032 @default.
- W2112960082 cites W2152116576 @default.
- W2112960082 cites W2153703803 @default.
- W2112960082 cites W2158384363 @default.
- W2112960082 cites W2159482845 @default.
- W2112960082 cites W2165078378 @default.
- W2112960082 cites W2167119716 @default.
- W2112960082 cites W2167281363 @default.
- W2112960082 cites W974149129 @default.
- W2112960082 doi "https://doi.org/10.1109/imsccs.2007.57" @default.
- W2112960082 hasPublicationYear "2007" @default.
- W2112960082 type Work @default.
- W2112960082 sameAs 2112960082 @default.
- W2112960082 citedByCount "0" @default.
- W2112960082 crossrefType "proceedings-article" @default.
- W2112960082 hasAuthorship W2112960082A5034024928 @default.
- W2112960082 hasAuthorship W2112960082A5047605026 @default.
- W2112960082 hasAuthorship W2112960082A5082090976 @default.
- W2112960082 hasAuthorship W2112960082A5085524974 @default.
- W2112960082 hasConcept C118615104 @default.
- W2112960082 hasConcept C135315306 @default.
- W2112960082 hasConcept C138885662 @default.
- W2112960082 hasConcept C154945302 @default.
- W2112960082 hasConcept C161771561 @default.
- W2112960082 hasConcept C24404364 @default.
- W2112960082 hasConcept C2524010 @default.
- W2112960082 hasConcept C2779136372 @default.
- W2112960082 hasConcept C2780069185 @default.
- W2112960082 hasConcept C33923547 @default.
- W2112960082 hasConcept C38349280 @default.
- W2112960082 hasConcept C41008148 @default.
- W2112960082 hasConcept C41895202 @default.
- W2112960082 hasConcept C49937458 @default.
- W2112960082 hasConcept C52063229 @default.
- W2112960082 hasConcept C80444323 @default.
- W2112960082 hasConceptScore W2112960082C118615104 @default.
- W2112960082 hasConceptScore W2112960082C135315306 @default.
- W2112960082 hasConceptScore W2112960082C138885662 @default.
- W2112960082 hasConceptScore W2112960082C154945302 @default.
- W2112960082 hasConceptScore W2112960082C161771561 @default.
- W2112960082 hasConceptScore W2112960082C24404364 @default.
- W2112960082 hasConceptScore W2112960082C2524010 @default.
- W2112960082 hasConceptScore W2112960082C2779136372 @default.
- W2112960082 hasConceptScore W2112960082C2780069185 @default.
- W2112960082 hasConceptScore W2112960082C33923547 @default.
- W2112960082 hasConceptScore W2112960082C38349280 @default.
- W2112960082 hasConceptScore W2112960082C41008148 @default.
- W2112960082 hasConceptScore W2112960082C41895202 @default.
- W2112960082 hasConceptScore W2112960082C49937458 @default.
- W2112960082 hasConceptScore W2112960082C52063229 @default.
- W2112960082 hasConceptScore W2112960082C80444323 @default.
- W2112960082 hasLocation W21129600821 @default.
- W2112960082 hasOpenAccess W2112960082 @default.
- W2112960082 hasPrimaryLocation W21129600821 @default.
- W2112960082 hasRelatedWork W1601878028 @default.
- W2112960082 hasRelatedWork W2124232232 @default.
- W2112960082 hasRelatedWork W2131603512 @default.
- W2112960082 hasRelatedWork W2136627809 @default.
- W2112960082 hasRelatedWork W2348507444 @default.
- W2112960082 hasRelatedWork W2660972524 @default.
- W2112960082 hasRelatedWork W2728210909 @default.
- W2112960082 hasRelatedWork W3209091078 @default.
- W2112960082 hasRelatedWork W4294224775 @default.
- W2112960082 hasRelatedWork W4301864728 @default.
- W2112960082 isParatext "false" @default.
- W2112960082 isRetracted "false" @default.
- W2112960082 magId "2112960082" @default.
- W2112960082 workType "article" @default.