Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997423921> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1997423921 endingPage "450" @default.
- W1997423921 startingPage "419" @default.
- W1997423921 abstract "Optimistic contract signing protocols allow two parties to commit to a previously agreed upon contract, relying on a third party to abort or confirm the contract if needed. These protocols are relatively subtle, since there may be interactions between the subprotocols used for normal signing without the third party, aborting the protocol through the third party, or requesting confirmation from the third party. With the help of Murϕ, a finite-state verification tool, we analyze two related contract signing protocols: the optimistic contract signing protocol of Asokan, Shoup, and Waidner, and the abuse-free contract signing protocol of Garay, Jakobsson, and MacKenzie. For the first protocol, we discover that a malicious participant can produce inconsistent versions of the contract or mount a replay attack. For the second protocol, we discover that negligence or corruption of the trusted third party may allow abuse or unfairness. In this case, contrary to the intent of the protocol, the cheated party is not able to hold the third party accountable. We present and analyze modifications to the protocols that avoid these problems and discuss the basic challenges involved in formal analysis of fair exchange protocols." @default.
- W1997423921 created "2016-06-24" @default.
- W1997423921 creator A5038206174 @default.
- W1997423921 creator A5060775456 @default.
- W1997423921 date "2002-06-01" @default.
- W1997423921 modified "2023-10-16" @default.
- W1997423921 title "Finite-state analysis of two contract signing protocols" @default.
- W1997423921 cites W1552843130 @default.
- W1997423921 cites W1569250084 @default.
- W1997423921 cites W1727096726 @default.
- W1997423921 cites W1752677809 @default.
- W1997423921 cites W1831288070 @default.
- W1997423921 cites W1927383947 @default.
- W1997423921 cites W1958691507 @default.
- W1997423921 cites W1995320371 @default.
- W1997423921 cites W2003915781 @default.
- W1997423921 cites W2029693536 @default.
- W1997423921 cites W2031618446 @default.
- W1997423921 cites W2062867278 @default.
- W1997423921 cites W2074244772 @default.
- W1997423921 cites W2086751352 @default.
- W1997423921 cites W2096939726 @default.
- W1997423921 cites W2103221883 @default.
- W1997423921 cites W2115716046 @default.
- W1997423921 cites W2124679171 @default.
- W1997423921 cites W2131895477 @default.
- W1997423921 cites W2155032609 @default.
- W1997423921 cites W2248390517 @default.
- W1997423921 cites W3142333173 @default.
- W1997423921 cites W3162919972 @default.
- W1997423921 cites W4213148345 @default.
- W1997423921 doi "https://doi.org/10.1016/s0304-3975(01)00141-4" @default.
- W1997423921 hasPublicationYear "2002" @default.
- W1997423921 type Work @default.
- W1997423921 sameAs 1997423921 @default.
- W1997423921 citedByCount "97" @default.
- W1997423921 countsByYear W19974239212012 @default.
- W1997423921 countsByYear W19974239212013 @default.
- W1997423921 countsByYear W19974239212014 @default.
- W1997423921 countsByYear W19974239212015 @default.
- W1997423921 countsByYear W19974239212017 @default.
- W1997423921 countsByYear W19974239212018 @default.
- W1997423921 countsByYear W19974239212019 @default.
- W1997423921 countsByYear W19974239212022 @default.
- W1997423921 crossrefType "journal-article" @default.
- W1997423921 hasAuthorship W1997423921A5038206174 @default.
- W1997423921 hasAuthorship W1997423921A5060775456 @default.
- W1997423921 hasConcept C108827166 @default.
- W1997423921 hasConcept C139089976 @default.
- W1997423921 hasConcept C142724271 @default.
- W1997423921 hasConcept C153180980 @default.
- W1997423921 hasConcept C199360897 @default.
- W1997423921 hasConcept C204787440 @default.
- W1997423921 hasConcept C2777549182 @default.
- W1997423921 hasConcept C2780385302 @default.
- W1997423921 hasConcept C2983583741 @default.
- W1997423921 hasConcept C38652104 @default.
- W1997423921 hasConcept C41008148 @default.
- W1997423921 hasConcept C48103436 @default.
- W1997423921 hasConcept C71924100 @default.
- W1997423921 hasConcept C77088390 @default.
- W1997423921 hasConceptScore W1997423921C108827166 @default.
- W1997423921 hasConceptScore W1997423921C139089976 @default.
- W1997423921 hasConceptScore W1997423921C142724271 @default.
- W1997423921 hasConceptScore W1997423921C153180980 @default.
- W1997423921 hasConceptScore W1997423921C199360897 @default.
- W1997423921 hasConceptScore W1997423921C204787440 @default.
- W1997423921 hasConceptScore W1997423921C2777549182 @default.
- W1997423921 hasConceptScore W1997423921C2780385302 @default.
- W1997423921 hasConceptScore W1997423921C2983583741 @default.
- W1997423921 hasConceptScore W1997423921C38652104 @default.
- W1997423921 hasConceptScore W1997423921C41008148 @default.
- W1997423921 hasConceptScore W1997423921C48103436 @default.
- W1997423921 hasConceptScore W1997423921C71924100 @default.
- W1997423921 hasConceptScore W1997423921C77088390 @default.
- W1997423921 hasIssue "2" @default.
- W1997423921 hasLocation W19974239211 @default.
- W1997423921 hasOpenAccess W1997423921 @default.
- W1997423921 hasPrimaryLocation W19974239211 @default.
- W1997423921 hasRelatedWork W1502939741 @default.
- W1997423921 hasRelatedWork W1989604187 @default.
- W1997423921 hasRelatedWork W1997423921 @default.
- W1997423921 hasRelatedWork W2010571127 @default.
- W1997423921 hasRelatedWork W2023024868 @default.
- W1997423921 hasRelatedWork W2272650572 @default.
- W1997423921 hasRelatedWork W2376025599 @default.
- W1997423921 hasRelatedWork W2394216144 @default.
- W1997423921 hasRelatedWork W4283214514 @default.
- W1997423921 hasRelatedWork W2610418744 @default.
- W1997423921 hasVolume "283" @default.
- W1997423921 isParatext "false" @default.
- W1997423921 isRetracted "false" @default.
- W1997423921 magId "1997423921" @default.
- W1997423921 workType "article" @default.