Matches in SemOpenAlex for { <https://semopenalex.org/work/W3212734608> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3212734608 endingPage "2954" @default.
- W3212734608 startingPage "2954" @default.
- W3212734608 abstract "The Nervos CKB (Common Knowledge Base) is a public permissionless blockchain designed for the Nervos ecosystem. The CKB consensus protocol is the key protocol of the Nervos CKB, which improves the limit of the consensus’s performance for Bitcoin. In this paper, we developed the formal model of the CKB consensus protocol using timed automata. Based on the model, we formally verified various important properties of the Nervos CKB to provide a sufficient trustworthiness assurance. Especially, the security of the Nervos CKB against the selfish mining attacks to the protocol was investigated." @default.
- W3212734608 created "2021-11-22" @default.
- W3212734608 creator A5023121498 @default.
- W3212734608 creator A5024021805 @default.
- W3212734608 creator A5036822744 @default.
- W3212734608 creator A5072300511 @default.
- W3212734608 creator A5091475506 @default.
- W3212734608 date "2021-11-19" @default.
- W3212734608 modified "2023-09-23" @default.
- W3212734608 title "Modeling and Verifying the CKB Blockchain Consensus Protocol" @default.
- W3212734608 cites W2046131303 @default.
- W3212734608 cites W2166423024 @default.
- W3212734608 cites W2911020328 @default.
- W3212734608 cites W4255535209 @default.
- W3212734608 doi "https://doi.org/10.3390/math9222954" @default.
- W3212734608 hasPublicationYear "2021" @default.
- W3212734608 type Work @default.
- W3212734608 sameAs 3212734608 @default.
- W3212734608 citedByCount "4" @default.
- W3212734608 countsByYear W32127346082022 @default.
- W3212734608 countsByYear W32127346082023 @default.
- W3212734608 crossrefType "journal-article" @default.
- W3212734608 hasAuthorship W3212734608A5023121498 @default.
- W3212734608 hasAuthorship W3212734608A5024021805 @default.
- W3212734608 hasAuthorship W3212734608A5036822744 @default.
- W3212734608 hasAuthorship W3212734608A5072300511 @default.
- W3212734608 hasAuthorship W3212734608A5091475506 @default.
- W3212734608 hasBestOaLocation W32127346081 @default.
- W3212734608 hasConcept C142724271 @default.
- W3212734608 hasConcept C153701036 @default.
- W3212734608 hasConcept C204787440 @default.
- W3212734608 hasConcept C2779687700 @default.
- W3212734608 hasConcept C2780385302 @default.
- W3212734608 hasConcept C38652104 @default.
- W3212734608 hasConcept C41008148 @default.
- W3212734608 hasConcept C70721500 @default.
- W3212734608 hasConcept C71924100 @default.
- W3212734608 hasConcept C86803240 @default.
- W3212734608 hasConceptScore W3212734608C142724271 @default.
- W3212734608 hasConceptScore W3212734608C153701036 @default.
- W3212734608 hasConceptScore W3212734608C204787440 @default.
- W3212734608 hasConceptScore W3212734608C2779687700 @default.
- W3212734608 hasConceptScore W3212734608C2780385302 @default.
- W3212734608 hasConceptScore W3212734608C38652104 @default.
- W3212734608 hasConceptScore W3212734608C41008148 @default.
- W3212734608 hasConceptScore W3212734608C70721500 @default.
- W3212734608 hasConceptScore W3212734608C71924100 @default.
- W3212734608 hasConceptScore W3212734608C86803240 @default.
- W3212734608 hasFunder F4320321001 @default.
- W3212734608 hasFunder F4320322166 @default.
- W3212734608 hasFunder F4320324202 @default.
- W3212734608 hasIssue "22" @default.
- W3212734608 hasLocation W32127346081 @default.
- W3212734608 hasLocation W32127346082 @default.
- W3212734608 hasOpenAccess W3212734608 @default.
- W3212734608 hasPrimaryLocation W32127346081 @default.
- W3212734608 hasRelatedWork W2738498529 @default.
- W3212734608 hasRelatedWork W2948753392 @default.
- W3212734608 hasRelatedWork W2964257088 @default.
- W3212734608 hasRelatedWork W3005560537 @default.
- W3212734608 hasRelatedWork W3194059937 @default.
- W3212734608 hasRelatedWork W3202589612 @default.
- W3212734608 hasRelatedWork W3204774023 @default.
- W3212734608 hasRelatedWork W4300743481 @default.
- W3212734608 hasRelatedWork W4307957697 @default.
- W3212734608 hasRelatedWork W4376286353 @default.
- W3212734608 hasVolume "9" @default.
- W3212734608 isParatext "false" @default.
- W3212734608 isRetracted "false" @default.
- W3212734608 magId "3212734608" @default.
- W3212734608 workType "article" @default.