Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129665419> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2129665419 endingPage "60" @default.
- W2129665419 startingPage "46" @default.
- W2129665419 abstract "Many cryptographic protocols are intended to coordinate state changes among principals. Exchange protocols coordinate delivery of new values to the participants, e.g. additions to the set of values they possess. An exchange protocol is fair if it ensures that delivery of new values is balanced: If one participant obtains a new possession via the protocol, then all other participants will, too. Fair exchange requires progress assumptions, unlike some other protocol properties. The strand space model is a framework for design and verification of cryptographic protocols. A strand is a local behavior of a single principal in a single session of a protocol. A bundle is a partially ordered global execution built from protocol strands and adversary activities. The strand space model needs two additions for fair exchange protocols. First, we regard the state as a multiset of facts, and we allow strands to cause changes in this state via multiset rewriting. Second, progress assumptions stipulate that some channels are resilient-and guaranteed to deliver messages-and some principals are assumed not to stop at certain critical steps. This method leads to proofs of correctness that cleanly separate protocol properties, such as authentication and confidentiality, from invariants governing state evolution. G. Wang's recent fair exchange protocol illustrates the approach." @default.
- W2129665419 created "2016-06-24" @default.
- W2129665419 creator A5069090711 @default.
- W2129665419 date "2009-10-23" @default.
- W2129665419 modified "2023-10-16" @default.
- W2129665419 title "Fair Exchange in Strand Spaces" @default.
- W2129665419 cites W130807241 @default.
- W2129665419 cites W1522177810 @default.
- W2129665419 cites W1602381506 @default.
- W2129665419 cites W1979363094 @default.
- W2129665419 cites W2081919251 @default.
- W2129665419 cites W2110712507 @default.
- W2129665419 cites W2112240651 @default.
- W2129665419 cites W2114497629 @default.
- W2129665419 cites W2124030056 @default.
- W2129665419 cites W2127443424 @default.
- W2129665419 cites W2131895477 @default.
- W2129665419 doi "https://doi.org/10.4204/eptcs.7.4" @default.
- W2129665419 hasPublicationYear "2009" @default.
- W2129665419 type Work @default.
- W2129665419 sameAs 2129665419 @default.
- W2129665419 citedByCount "5" @default.
- W2129665419 countsByYear W21296654192017 @default.
- W2129665419 countsByYear W21296654192020 @default.
- W2129665419 countsByYear W21296654192021 @default.
- W2129665419 crossrefType "journal-article" @default.
- W2129665419 hasAuthorship W2129665419A5069090711 @default.
- W2129665419 hasBestOaLocation W21296654191 @default.
- W2129665419 hasConcept C118615104 @default.
- W2129665419 hasConcept C142724271 @default.
- W2129665419 hasConcept C165751822 @default.
- W2129665419 hasConcept C178489894 @default.
- W2129665419 hasConcept C199360897 @default.
- W2129665419 hasConcept C204787440 @default.
- W2129665419 hasConcept C2779623528 @default.
- W2129665419 hasConcept C2780385302 @default.
- W2129665419 hasConcept C33884865 @default.
- W2129665419 hasConcept C33923547 @default.
- W2129665419 hasConcept C38652104 @default.
- W2129665419 hasConcept C41008148 @default.
- W2129665419 hasConcept C48103436 @default.
- W2129665419 hasConcept C55439883 @default.
- W2129665419 hasConcept C71924100 @default.
- W2129665419 hasConcept C80444323 @default.
- W2129665419 hasConceptScore W2129665419C118615104 @default.
- W2129665419 hasConceptScore W2129665419C142724271 @default.
- W2129665419 hasConceptScore W2129665419C165751822 @default.
- W2129665419 hasConceptScore W2129665419C178489894 @default.
- W2129665419 hasConceptScore W2129665419C199360897 @default.
- W2129665419 hasConceptScore W2129665419C204787440 @default.
- W2129665419 hasConceptScore W2129665419C2779623528 @default.
- W2129665419 hasConceptScore W2129665419C2780385302 @default.
- W2129665419 hasConceptScore W2129665419C33884865 @default.
- W2129665419 hasConceptScore W2129665419C33923547 @default.
- W2129665419 hasConceptScore W2129665419C38652104 @default.
- W2129665419 hasConceptScore W2129665419C41008148 @default.
- W2129665419 hasConceptScore W2129665419C48103436 @default.
- W2129665419 hasConceptScore W2129665419C55439883 @default.
- W2129665419 hasConceptScore W2129665419C71924100 @default.
- W2129665419 hasConceptScore W2129665419C80444323 @default.
- W2129665419 hasLocation W21296654191 @default.
- W2129665419 hasLocation W21296654192 @default.
- W2129665419 hasLocation W21296654193 @default.
- W2129665419 hasOpenAccess W2129665419 @default.
- W2129665419 hasPrimaryLocation W21296654191 @default.
- W2129665419 hasRelatedWork W1024627881 @default.
- W2129665419 hasRelatedWork W1550909849 @default.
- W2129665419 hasRelatedWork W1581269547 @default.
- W2129665419 hasRelatedWork W1588492604 @default.
- W2129665419 hasRelatedWork W1914742777 @default.
- W2129665419 hasRelatedWork W212159086 @default.
- W2129665419 hasRelatedWork W2134477803 @default.
- W2129665419 hasRelatedWork W2351521370 @default.
- W2129665419 hasRelatedWork W2352858694 @default.
- W2129665419 hasRelatedWork W4286698075 @default.
- W2129665419 hasVolume "7" @default.
- W2129665419 isParatext "false" @default.
- W2129665419 isRetracted "false" @default.
- W2129665419 magId "2129665419" @default.
- W2129665419 workType "article" @default.