FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2177758023> ?p ?o ?g. }

• W2177758023 endingPage "60" @default.
• W2177758023 startingPage "46" @default.
• W2177758023 abstract "Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger. Since there is no trusted third party to guard against double spending, and inspired by its popularity, we would like to investigate the correctness of the Bitcoin protocol. Double spending is an important threat to electronic payment systems. Double spending would happen if one user could force a majority to believe that a ledger without his previous payment is the correct one. We are interested in the probability of success of such a double spending attack, which is linked to the computational power of the attacker. This paper examines the Bitcoin protocol and provides its formalization as an UPPAAL model. The model will be used to show how double spending can be done if the parties in the Bitcoin protocol behave maliciously, and with what probability double spending occurs." @default.
• W2177758023 created "2016-06-24" @default.
• W2177758023 creator A5005603423 @default.
• W2177758023 creator A5012697499 @default.
• W2177758023 creator A5015799790 @default.
• W2177758023 creator A5053065289 @default.
• W2177758023 date "2015-11-08" @default.
• W2177758023 modified "2023-09-30" @default.
• W2177758023 title "Modeling and Verification of the Bitcoin Protocol" @default.
• W2177758023 cites W179922057 @default.
• W2177758023 cites W1907293129 @default.
• W2177758023 cites W1995488889 @default.
• W2177758023 cites W2166423024 @default.
• W2177758023 cites W4993390 @default.
• W2177758023 doi "https://doi.org/10.4204/eptcs.196.5" @default.
• W2177758023 hasPublicationYear "2015" @default.
• W2177758023 type Work @default.
• W2177758023 sameAs 2177758023 @default.
• W2177758023 citedByCount "13" @default.
• W2177758023 countsByYear W21777580232016 @default.
• W2177758023 countsByYear W21777580232018 @default.
• W2177758023 countsByYear W21777580232019 @default.
• W2177758023 countsByYear W21777580232020 @default.
• W2177758023 countsByYear W21777580232022 @default.
• W2177758023 countsByYear W21777580232023 @default.
• W2177758023 crossrefType "journal-article" @default.
• W2177758023 hasAuthorship W2177758023A5005603423 @default.
• W2177758023 hasAuthorship W2177758023A5012697499 @default.
• W2177758023 hasAuthorship W2177758023A5015799790 @default.
• W2177758023 hasAuthorship W2177758023A5053065289 @default.
• W2177758023 hasBestOaLocation W21777580231 @default.
• W2177758023 hasConcept C108827166 @default.
• W2177758023 hasConcept C121955636 @default.
• W2177758023 hasConcept C136764020 @default.
• W2177758023 hasConcept C141121606 @default.
• W2177758023 hasConcept C141141315 @default.
• W2177758023 hasConcept C142724271 @default.
• W2177758023 hasConcept C144133560 @default.
• W2177758023 hasConcept C145097563 @default.
• W2177758023 hasConcept C15744967 @default.
• W2177758023 hasConcept C162324750 @default.
• W2177758023 hasConcept C180706569 @default.
• W2177758023 hasConcept C199360897 @default.
• W2177758023 hasConcept C204787440 @default.
• W2177758023 hasConcept C2780385302 @default.
• W2177758023 hasConcept C2780586970 @default.
• W2177758023 hasConcept C38652104 @default.
• W2177758023 hasConcept C41008148 @default.
• W2177758023 hasConcept C48220719 @default.
• W2177758023 hasConcept C55439883 @default.
• W2177758023 hasConcept C556758197 @default.
• W2177758023 hasConcept C71924100 @default.
• W2177758023 hasConcept C75949130 @default.
• W2177758023 hasConcept C77088390 @default.
• W2177758023 hasConcept C77805123 @default.
• W2177758023 hasConcept C91302708 @default.
• W2177758023 hasConceptScore W2177758023C108827166 @default.
• W2177758023 hasConceptScore W2177758023C121955636 @default.
• W2177758023 hasConceptScore W2177758023C136764020 @default.
• W2177758023 hasConceptScore W2177758023C141121606 @default.
• W2177758023 hasConceptScore W2177758023C141141315 @default.
• W2177758023 hasConceptScore W2177758023C142724271 @default.
• W2177758023 hasConceptScore W2177758023C144133560 @default.
• W2177758023 hasConceptScore W2177758023C145097563 @default.
• W2177758023 hasConceptScore W2177758023C15744967 @default.
• W2177758023 hasConceptScore W2177758023C162324750 @default.
• W2177758023 hasConceptScore W2177758023C180706569 @default.
• W2177758023 hasConceptScore W2177758023C199360897 @default.
• W2177758023 hasConceptScore W2177758023C204787440 @default.
• W2177758023 hasConceptScore W2177758023C2780385302 @default.
• W2177758023 hasConceptScore W2177758023C2780586970 @default.
• W2177758023 hasConceptScore W2177758023C38652104 @default.
• W2177758023 hasConceptScore W2177758023C41008148 @default.
• W2177758023 hasConceptScore W2177758023C48220719 @default.
• W2177758023 hasConceptScore W2177758023C55439883 @default.
• W2177758023 hasConceptScore W2177758023C556758197 @default.
• W2177758023 hasConceptScore W2177758023C71924100 @default.
• W2177758023 hasConceptScore W2177758023C75949130 @default.
• W2177758023 hasConceptScore W2177758023C77088390 @default.
• W2177758023 hasConceptScore W2177758023C77805123 @default.
• W2177758023 hasConceptScore W2177758023C91302708 @default.
• W2177758023 hasLocation W21777580231 @default.
• W2177758023 hasLocation W21777580232 @default.
• W2177758023 hasLocation W21777580233 @default.
• W2177758023 hasLocation W21777580234 @default.
• W2177758023 hasOpenAccess W2177758023 @default.
• W2177758023 hasPrimaryLocation W21777580231 @default.
• W2177758023 hasRelatedWork W2482736599 @default.
• W2177758023 hasRelatedWork W2904210818 @default.
• W2177758023 hasRelatedWork W3011765788 @default.
• W2177758023 hasRelatedWork W3183802341 @default.
• W2177758023 hasRelatedWork W3194741359 @default.
• W2177758023 hasRelatedWork W4248936695 @default.
• W2177758023 hasRelatedWork W4287074827 @default.
• W2177758023 hasRelatedWork W4288765033 @default.
• W2177758023 hasRelatedWork W4298368420 @default.
• W2177758023 hasRelatedWork W3014563786 @default.
• W2177758023 hasVolume "196" @default.

• next