{"id":"https://openalex.org/W3112327565","doi":"https://doi.org/10.1007/978-3-030-65277-7_5","title":"Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts","display_name":"Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3112327565","doi":"https://doi.org/10.1007/978-3-030-65277-7_5","mag":"3112327565"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-65277-7_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-65277-7_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026780170","display_name":"Cheng Shi","orcid":"https://orcid.org/0000-0001-5165-6972"},"institutions":[{"id":"https://openalex.org/I6178835","display_name":"Ibaraki University","ror":"https://ror.org/00sjd5653","country_code":"JP","type":"education","lineage":["https://openalex.org/I6178835"]},{"id":"https://openalex.org/I65143321","display_name":"Hitachi (Japan)","ror":"https://ror.org/02exqgm79","country_code":"JP","type":"company","lineage":["https://openalex.org/I65143321"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Cheng Shi","raw_affiliation_strings":["Ibaraki University, 4-12-1, Nakanarusawa, Hitachi-shi, Ibaraki, Japan"],"affiliations":[{"raw_affiliation_string":"Ibaraki University, 4-12-1, Nakanarusawa, Hitachi-shi, Ibaraki, Japan","institution_ids":["https://openalex.org/I6178835","https://openalex.org/I65143321"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101878847","display_name":"Kazuki Yoneyama","orcid":"https://orcid.org/0000-0002-2673-3830"},"institutions":[{"id":"https://openalex.org/I6178835","display_name":"Ibaraki University","ror":"https://ror.org/00sjd5653","country_code":"JP","type":"education","lineage":["https://openalex.org/I6178835"]},{"id":"https://openalex.org/I65143321","display_name":"Hitachi (Japan)","ror":"https://ror.org/02exqgm79","country_code":"JP","type":"company","lineage":["https://openalex.org/I65143321"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazuki Yoneyama","raw_affiliation_strings":["Ibaraki University, 4-12-1, Nakanarusawa, Hitachi-shi, Ibaraki, Japan"],"affiliations":[{"raw_affiliation_string":"Ibaraki University, 4-12-1, Nakanarusawa, Hitachi-shi, Ibaraki, Japan","institution_ids":["https://openalex.org/I6178835","https://openalex.org/I65143321"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026780170"],"corresponding_institution_ids":["https://openalex.org/I6178835","https://openalex.org/I65143321"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.9164,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.77111074,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"89","last_page":"106"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.9337000250816345,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/escrow","display_name":"Escrow","score":0.8121784925460815},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8074020147323608},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.7542284727096558},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.7315928339958191},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.7245534658432007},{"id":"https://openalex.org/keywords/payment","display_name":"Payment","score":0.6738427877426147},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6058824062347412},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5630311965942383},{"id":"https://openalex.org/keywords/cryptocurrency","display_name":"Cryptocurrency","score":0.4821843206882477},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4791126251220703},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.4736959934234619},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.448807030916214},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.44485703110694885},{"id":"https://openalex.org/keywords/smart-card","display_name":"Smart card","score":0.43913233280181885},{"id":"https://openalex.org/keywords/commitment-scheme","display_name":"Commitment scheme","score":0.42674195766448975},{"id":"https://openalex.org/keywords/key-escrow","display_name":"Key escrow","score":0.42329227924346924},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.2420516312122345},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.2107788324356079},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1584431231021881},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.14025697112083435},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.11017051339149475}],"concepts":[{"id":"https://openalex.org/C167254554","wikidata":"https://www.wikidata.org/wiki/Q338451","display_name":"Escrow","level":2,"score":0.8121784925460815},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8074020147323608},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.7542284727096558},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.7315928339958191},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.7245534658432007},{"id":"https://openalex.org/C145097563","wikidata":"https://www.wikidata.org/wiki/Q1148747","display_name":"Payment","level":2,"score":0.6738427877426147},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6058824062347412},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5630311965942383},{"id":"https://openalex.org/C180706569","wikidata":"https://www.wikidata.org/wiki/Q13479982","display_name":"Cryptocurrency","level":2,"score":0.4821843206882477},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4791126251220703},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.4736959934234619},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.448807030916214},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.44485703110694885},{"id":"https://openalex.org/C110406131","wikidata":"https://www.wikidata.org/wiki/Q41349","display_name":"Smart card","level":2,"score":0.43913233280181885},{"id":"https://openalex.org/C91399829","wikidata":"https://www.wikidata.org/wiki/Q1115684","display_name":"Commitment scheme","level":3,"score":0.42674195766448975},{"id":"https://openalex.org/C205533965","wikidata":"https://www.wikidata.org/wiki/Q1367345","display_name":"Key escrow","level":4,"score":0.42329227924346924},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.2420516312122345},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.2107788324356079},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1584431231021881},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.14025697112083435},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.11017051339149475},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-65277-7_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-65277-7_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W62709161","https://openalex.org/W157178500","https://openalex.org/W199762066","https://openalex.org/W1673390222","https://openalex.org/W1969344535","https://openalex.org/W1983921819","https://openalex.org/W2038517014","https://openalex.org/W2086376855","https://openalex.org/W2122190611","https://openalex.org/W2510986846","https://openalex.org/W2537266186","https://openalex.org/W2538848838","https://openalex.org/W2539190473","https://openalex.org/W2548841770","https://openalex.org/W2587679938","https://openalex.org/W2618267215","https://openalex.org/W2652625053","https://openalex.org/W2765700031","https://openalex.org/W2765986519","https://openalex.org/W2790202156","https://openalex.org/W2795079738","https://openalex.org/W2887044800","https://openalex.org/W2946869648","https://openalex.org/W2971097497","https://openalex.org/W3203084829"],"related_works":["https://openalex.org/W2358705460","https://openalex.org/W2350245913","https://openalex.org/W2019160124","https://openalex.org/W1859964688","https://openalex.org/W2524274420","https://openalex.org/W2111271832","https://openalex.org/W2391501929","https://openalex.org/W2382515391","https://openalex.org/W2150804615","https://openalex.org/W2102517938"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}