Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951711112> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2951711112 startingPage "82" @default.
- W2951711112 abstract "We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that preserves security in a general cryptographic sense. Reactive means that the system can interact with its users multiple times, e.g., in many concurrent protocol runs or a multi-round game. In terms of distributed systems, reactive simulatability is a type of refinement that preserves particularly strong properties, in particular confidentiality. A core feature of reactive simulatability is composability, i.e., the real system can be plugged in instead of the ideal system within arbitrary larger systems; this is shown in follow-up papers, and so is the preservation of many classes of individual security properties from the ideal to the real systems. A large part of this paper defines a suitable system model. It is based on probabilistic IO automata (PIOA) with two main new features: One is generic distributed scheduling. Important special cases are realistic adversarial scheduling, procedure-call-type scheduling among colocated system parts, and special schedulers such as for fairness, also in combinations. The other is the definition of the reactive runtime via a realization by Turing machines such that notions like polynomial-time are composable. The simple complexity of the transition functions of the automata is not composable. As specializations of this model we define security-specific concepts, in particular a separation between honest users and adversaries and several trust models. The benefit of IO automata as the main model, instead of only interactive Turing machines as usual in cryptographic multi-party computation, is that many cryptographic systems can be specified with an ideal system consisting of only one simple, deterministic IO automaton without any cryptographic objects, as many follow-up papers show. This enables the use of classic formal methods and automatic proof tools for proving larger distributed protocols and systems that use these cryptographic systems." @default.
- W2951711112 created "2019-06-27" @default.
- W2951711112 creator A5004014878 @default.
- W2951711112 creator A5069656048 @default.
- W2951711112 creator A5078166208 @default.
- W2951711112 date "2004-01-01" @default.
- W2951711112 modified "2023-09-23" @default.
- W2951711112 title "The Reactive Simulatability (RSIM) Framework for Asynchronous Systems." @default.
- W2951711112 hasPublicationYear "2004" @default.
- W2951711112 type Work @default.
- W2951711112 sameAs 2951711112 @default.
- W2951711112 citedByCount "2" @default.
- W2951711112 crossrefType "posted-content" @default.
- W2951711112 hasAuthorship W2951711112A5004014878 @default.
- W2951711112 hasAuthorship W2951711112A5069656048 @default.
- W2951711112 hasAuthorship W2951711112A5078166208 @default.
- W2951711112 hasConcept C112505250 @default.
- W2951711112 hasConcept C120314980 @default.
- W2951711112 hasConcept C154945302 @default.
- W2951711112 hasConcept C2778814252 @default.
- W2951711112 hasConcept C41008148 @default.
- W2951711112 hasConcept C49937458 @default.
- W2951711112 hasConcept C80444323 @default.
- W2951711112 hasConceptScore W2951711112C112505250 @default.
- W2951711112 hasConceptScore W2951711112C120314980 @default.
- W2951711112 hasConceptScore W2951711112C154945302 @default.
- W2951711112 hasConceptScore W2951711112C2778814252 @default.
- W2951711112 hasConceptScore W2951711112C41008148 @default.
- W2951711112 hasConceptScore W2951711112C49937458 @default.
- W2951711112 hasConceptScore W2951711112C80444323 @default.
- W2951711112 hasLocation W29517111121 @default.
- W2951711112 hasOpenAccess W2951711112 @default.
- W2951711112 hasPrimaryLocation W29517111121 @default.
- W2951711112 hasRelatedWork W1537467256 @default.
- W2951711112 hasRelatedWork W1584984507 @default.
- W2951711112 hasRelatedWork W1965618985 @default.
- W2951711112 hasRelatedWork W2016707036 @default.
- W2951711112 hasRelatedWork W2020961808 @default.
- W2951711112 hasRelatedWork W2041210125 @default.
- W2951711112 hasRelatedWork W2083999367 @default.
- W2951711112 hasRelatedWork W2117688305 @default.
- W2951711112 hasRelatedWork W2123837484 @default.
- W2951711112 hasRelatedWork W2138051598 @default.
- W2951711112 hasRelatedWork W2159256409 @default.
- W2951711112 hasRelatedWork W2293419338 @default.
- W2951711112 hasRelatedWork W2400049039 @default.
- W2951711112 hasRelatedWork W2797575587 @default.
- W2951711112 hasRelatedWork W2914853638 @default.
- W2951711112 hasRelatedWork W2949508680 @default.
- W2951711112 hasRelatedWork W2949937073 @default.
- W2951711112 hasRelatedWork W3028869756 @default.
- W2951711112 hasRelatedWork W3029761878 @default.
- W2951711112 hasRelatedWork W2181580742 @default.
- W2951711112 hasVolume "2004" @default.
- W2951711112 isParatext "false" @default.
- W2951711112 isRetracted "false" @default.
- W2951711112 magId "2951711112" @default.
- W2951711112 workType "article" @default.