Matches in SemOpenAlex for { <https://semopenalex.org/work/W2067620564> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2067620564 abstract "Quorum replication is an important technique for building distributed systems because it can simultaneously improve both the integrity and availability of computation and storage. Information flow control is a well-known method for enforcing the confidentiality and integrity of information. This paper demonstrates that these two techniques can be integrated to simultaneously enforce all three major security properties: confidentiality, integrity and availability. It presents a security-typed language with explicit language constructs for supporting secure quorum replication. The dependency analysis performed by the type system of the language provides a way to formally verify the end-to-end security assurance of complex replication schemes. We also contribute a new multilevel timestamp mechanism for synchronizing code and data replicas while controlling previously ignored side channels introduced by such synchronization." @default.
- W2067620564 created "2016-06-24" @default.
- W2067620564 creator A5043823677 @default.
- W2067620564 creator A5069017863 @default.
- W2067620564 date "2014-07-28" @default.
- W2067620564 modified "2023-10-03" @default.
- W2067620564 title "A Language-Based Approach to Secure Quorum Replication" @default.
- W2067620564 cites W1968456054 @default.
- W2067620564 cites W1997775274 @default.
- W2067620564 cites W1999602293 @default.
- W2067620564 cites W2012848290 @default.
- W2067620564 cites W2043801088 @default.
- W2067620564 cites W2057503672 @default.
- W2067620564 cites W2077304190 @default.
- W2067620564 cites W2117550587 @default.
- W2067620564 cites W2122049982 @default.
- W2067620564 cites W2142849519 @default.
- W2067620564 cites W2148144728 @default.
- W2067620564 cites W2154564703 @default.
- W2067620564 cites W2157828581 @default.
- W2067620564 cites W2166510103 @default.
- W2067620564 cites W2168674192 @default.
- W2067620564 cites W50887981 @default.
- W2067620564 doi "https://doi.org/10.1145/2637113.2637117" @default.
- W2067620564 hasPublicationYear "2014" @default.
- W2067620564 type Work @default.
- W2067620564 sameAs 2067620564 @default.
- W2067620564 citedByCount "6" @default.
- W2067620564 countsByYear W20676205642014 @default.
- W2067620564 countsByYear W20676205642015 @default.
- W2067620564 countsByYear W20676205642017 @default.
- W2067620564 countsByYear W20676205642021 @default.
- W2067620564 countsByYear W20676205642022 @default.
- W2067620564 countsByYear W20676205642023 @default.
- W2067620564 crossrefType "proceedings-article" @default.
- W2067620564 hasAuthorship W2067620564A5043823677 @default.
- W2067620564 hasAuthorship W2067620564A5069017863 @default.
- W2067620564 hasBestOaLocation W20676205642 @default.
- W2067620564 hasConcept C105795698 @default.
- W2067620564 hasConcept C113954288 @default.
- W2067620564 hasConcept C120314980 @default.
- W2067620564 hasConcept C12590798 @default.
- W2067620564 hasConcept C127162648 @default.
- W2067620564 hasConcept C138885662 @default.
- W2067620564 hasConcept C162932704 @default.
- W2067620564 hasConcept C2778562939 @default.
- W2067620564 hasConcept C2779136372 @default.
- W2067620564 hasConcept C31258907 @default.
- W2067620564 hasConcept C33762810 @default.
- W2067620564 hasConcept C33923547 @default.
- W2067620564 hasConcept C38652104 @default.
- W2067620564 hasConcept C41008148 @default.
- W2067620564 hasConcept C41895202 @default.
- W2067620564 hasConcept C71745522 @default.
- W2067620564 hasConcept C761482 @default.
- W2067620564 hasConcept C76155785 @default.
- W2067620564 hasConceptScore W2067620564C105795698 @default.
- W2067620564 hasConceptScore W2067620564C113954288 @default.
- W2067620564 hasConceptScore W2067620564C120314980 @default.
- W2067620564 hasConceptScore W2067620564C12590798 @default.
- W2067620564 hasConceptScore W2067620564C127162648 @default.
- W2067620564 hasConceptScore W2067620564C138885662 @default.
- W2067620564 hasConceptScore W2067620564C162932704 @default.
- W2067620564 hasConceptScore W2067620564C2778562939 @default.
- W2067620564 hasConceptScore W2067620564C2779136372 @default.
- W2067620564 hasConceptScore W2067620564C31258907 @default.
- W2067620564 hasConceptScore W2067620564C33762810 @default.
- W2067620564 hasConceptScore W2067620564C33923547 @default.
- W2067620564 hasConceptScore W2067620564C38652104 @default.
- W2067620564 hasConceptScore W2067620564C41008148 @default.
- W2067620564 hasConceptScore W2067620564C41895202 @default.
- W2067620564 hasConceptScore W2067620564C71745522 @default.
- W2067620564 hasConceptScore W2067620564C761482 @default.
- W2067620564 hasConceptScore W2067620564C76155785 @default.
- W2067620564 hasLocation W20676205641 @default.
- W2067620564 hasLocation W20676205642 @default.
- W2067620564 hasOpenAccess W2067620564 @default.
- W2067620564 hasPrimaryLocation W20676205641 @default.
- W2067620564 hasRelatedWork W105617988 @default.
- W2067620564 hasRelatedWork W174059713 @default.
- W2067620564 hasRelatedWork W1964833064 @default.
- W2067620564 hasRelatedWork W2110081630 @default.
- W2067620564 hasRelatedWork W2131630752 @default.
- W2067620564 hasRelatedWork W2150774821 @default.
- W2067620564 hasRelatedWork W2352517023 @default.
- W2067620564 hasRelatedWork W2536136375 @default.
- W2067620564 hasRelatedWork W2810823750 @default.
- W2067620564 hasRelatedWork W299339887 @default.
- W2067620564 isParatext "false" @default.
- W2067620564 isRetracted "false" @default.
- W2067620564 magId "2067620564" @default.
- W2067620564 workType "article" @default.