Matches in SemOpenAlex for { <https://semopenalex.org/work/W2528355824> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2528355824 startingPage "192" @default.
- W2528355824 abstract "This paper sets out a second order modal logic for reasoning about multilevel security in probabilistic systems. We present a possible world semantics and prove that the logic is sound with respect to it. The semantics is novel in treating probability measures themselves as possible worlds. We give a syntactic definition of security and show that the semantic interpretation of our syntactic definition is equivalent to an earlier independently motivated characterization, Probabilistic Noninterference ([141). We also look at a syntactic representation of Grays Applied Flow Model (a special case of McLean's Flow Model, given in [25]), and discuss the relation between these characterizations of security andbetween their usefulness in security analysis. We give a syntactic description of a round-robin server and sketch the formal proof of its security." @default.
- W2528355824 created "2016-10-14" @default.
- W2528355824 creator A5028116351 @default.
- W2528355824 creator A5057617351 @default.
- W2528355824 date "1992-05-04" @default.
- W2528355824 modified "2023-09-26" @default.
- W2528355824 title "A Multilevel Transaction Problem for Multilevel Secure Database Systems and Its Solution for the Replicated Architecture" @default.
- W2528355824 hasPublicationYear "1992" @default.
- W2528355824 type Work @default.
- W2528355824 sameAs 2528355824 @default.
- W2528355824 citedByCount "5" @default.
- W2528355824 crossrefType "proceedings-article" @default.
- W2528355824 hasAuthorship W2528355824A5028116351 @default.
- W2528355824 hasAuthorship W2528355824A5057617351 @default.
- W2528355824 hasConcept C102993220 @default.
- W2528355824 hasConcept C11413529 @default.
- W2528355824 hasConcept C154945302 @default.
- W2528355824 hasConcept C184337299 @default.
- W2528355824 hasConcept C185592680 @default.
- W2528355824 hasConcept C188027245 @default.
- W2528355824 hasConcept C199360897 @default.
- W2528355824 hasConcept C204321447 @default.
- W2528355824 hasConcept C25343380 @default.
- W2528355824 hasConcept C27508121 @default.
- W2528355824 hasConcept C2779231336 @default.
- W2528355824 hasConcept C41008148 @default.
- W2528355824 hasConcept C49937458 @default.
- W2528355824 hasConcept C527412718 @default.
- W2528355824 hasConcept C71139939 @default.
- W2528355824 hasConcept C75949130 @default.
- W2528355824 hasConcept C77088390 @default.
- W2528355824 hasConcept C80444323 @default.
- W2528355824 hasConceptScore W2528355824C102993220 @default.
- W2528355824 hasConceptScore W2528355824C11413529 @default.
- W2528355824 hasConceptScore W2528355824C154945302 @default.
- W2528355824 hasConceptScore W2528355824C184337299 @default.
- W2528355824 hasConceptScore W2528355824C185592680 @default.
- W2528355824 hasConceptScore W2528355824C188027245 @default.
- W2528355824 hasConceptScore W2528355824C199360897 @default.
- W2528355824 hasConceptScore W2528355824C204321447 @default.
- W2528355824 hasConceptScore W2528355824C25343380 @default.
- W2528355824 hasConceptScore W2528355824C27508121 @default.
- W2528355824 hasConceptScore W2528355824C2779231336 @default.
- W2528355824 hasConceptScore W2528355824C41008148 @default.
- W2528355824 hasConceptScore W2528355824C49937458 @default.
- W2528355824 hasConceptScore W2528355824C527412718 @default.
- W2528355824 hasConceptScore W2528355824C71139939 @default.
- W2528355824 hasConceptScore W2528355824C75949130 @default.
- W2528355824 hasConceptScore W2528355824C77088390 @default.
- W2528355824 hasConceptScore W2528355824C80444323 @default.
- W2528355824 hasLocation W25283558241 @default.
- W2528355824 hasOpenAccess W2528355824 @default.
- W2528355824 hasPrimaryLocation W25283558241 @default.
- W2528355824 hasRelatedWork W128687832 @default.
- W2528355824 hasRelatedWork W1484822807 @default.
- W2528355824 hasRelatedWork W1485212154 @default.
- W2528355824 hasRelatedWork W1539223265 @default.
- W2528355824 hasRelatedWork W1545155892 @default.
- W2528355824 hasRelatedWork W1559467224 @default.
- W2528355824 hasRelatedWork W1640592531 @default.
- W2528355824 hasRelatedWork W1968915456 @default.
- W2528355824 hasRelatedWork W1973020940 @default.
- W2528355824 hasRelatedWork W1991895580 @default.
- W2528355824 hasRelatedWork W2078571351 @default.
- W2528355824 hasRelatedWork W2110938135 @default.
- W2528355824 hasRelatedWork W2130688381 @default.
- W2528355824 hasRelatedWork W2143252279 @default.
- W2528355824 hasRelatedWork W219753674 @default.
- W2528355824 hasRelatedWork W2400957619 @default.
- W2528355824 hasRelatedWork W2995415950 @default.
- W2528355824 hasRelatedWork W3123279312 @default.
- W2528355824 hasRelatedWork W4828744 @default.
- W2528355824 hasRelatedWork W646378276 @default.
- W2528355824 isParatext "false" @default.
- W2528355824 isRetracted "false" @default.
- W2528355824 magId "2528355824" @default.
- W2528355824 workType "article" @default.