{"id":"https://openalex.org/W4401719379","doi":"https://doi.org/10.1109/icbc59979.2024.10634427","title":"Formalising a Gateway-based Blockchain Interoperability Solution with Event-B","display_name":"Formalising a Gateway-based Blockchain Interoperability Solution with Event-B","publication_year":2024,"publication_date":"2024-05-27","ids":{"openalex":"https://openalex.org/W4401719379","doi":"https://doi.org/10.1109/icbc59979.2024.10634427"},"language":"en","primary_location":{"id":"doi:10.1109/icbc59979.2024.10634427","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icbc59979.2024.10634427","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","raw_type":"proceedings-article"},"type":"article","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/A5000548972","display_name":"Guzm\u00e1n Llamb\u00edas","orcid":"https://orcid.org/0009-0004-7515-6525"},"institutions":[{"id":"https://openalex.org/I180910786","display_name":"Universidad de la Rep\u00fablica","ror":"https://ror.org/030bbe882","country_code":"UY","type":"education","lineage":["https://openalex.org/I180910786"]}],"countries":["UY"],"is_corresponding":true,"raw_author_name":"Guzm\u00e1n Llamb\u00edas","raw_affiliation_strings":["Universidad de la República,Facultad de Ingeniería,Montevideo,Uruguay"],"affiliations":[{"raw_affiliation_string":"Universidad de la República,Facultad de Ingeniería,Montevideo,Uruguay","institution_ids":["https://openalex.org/I180910786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107869971","display_name":"Laura Gonz\u00e1lez","orcid":null},"institutions":[{"id":"https://openalex.org/I180910786","display_name":"Universidad de la Rep\u00fablica","ror":"https://ror.org/030bbe882","country_code":"UY","type":"education","lineage":["https://openalex.org/I180910786"]}],"countries":["UY"],"is_corresponding":false,"raw_author_name":"Laura Gonz\u00e1lez","raw_affiliation_strings":["Universidad de la República,Facultad de Ingeniería,Montevideo,Uruguay"],"affiliations":[{"raw_affiliation_string":"Universidad de la República,Facultad de Ingeniería,Montevideo,Uruguay","institution_ids":["https://openalex.org/I180910786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006189755","display_name":"Ra\u00fal Ruggia","orcid":"https://orcid.org/0000-0003-4509-6766"},"institutions":[{"id":"https://openalex.org/I180910786","display_name":"Universidad de la Rep\u00fablica","ror":"https://ror.org/030bbe882","country_code":"UY","type":"education","lineage":["https://openalex.org/I180910786"]}],"countries":["UY"],"is_corresponding":false,"raw_author_name":"Ra\u00fal Ruggia","raw_affiliation_strings":["Universidad de la República,Facultad de Ingeniería,Montevideo,Uruguay"],"affiliations":[{"raw_affiliation_string":"Universidad de la República,Facultad de Ingeniería,Montevideo,Uruguay","institution_ids":["https://openalex.org/I180910786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000548972"],"corresponding_institution_ids":["https://openalex.org/I180910786"],"apc_list":null,"apc_paid":null,"fwci":0.8142,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.78270203,"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":"1","last_page":"9"},"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/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9462000131607056,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11614","display_name":"Cloud Data Security Solutions","score":0.917900025844574,"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/blockchain","display_name":"Blockchain","score":0.9439554214477539},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.7991703152656555},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7151975035667419},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5028974413871765},{"id":"https://openalex.org/keywords/gateway","display_name":"Gateway (web page)","score":0.46540409326553345},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.38581162691116333},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3359103202819824},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3020455837249756},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.21885699033737183}],"concepts":[{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.9439554214477539},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.7991703152656555},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7151975035667419},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5028974413871765},{"id":"https://openalex.org/C2777710495","wikidata":"https://www.wikidata.org/wiki/Q5527195","display_name":"Gateway (web page)","level":2,"score":0.46540409326553345},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.38581162691116333},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3359103202819824},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3020455837249756},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.21885699033737183},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icbc59979.2024.10634427","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icbc59979.2024.10634427","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310753","display_name":"Agencia Nacional de Investigaci\u00f3n e Innovaci\u00f3n","ror":"https://ror.org/03egaj678"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W3349016","https://openalex.org/W1971486022","https://openalex.org/W2952173023","https://openalex.org/W2985634786","https://openalex.org/W3013386053","https://openalex.org/W3200256353","https://openalex.org/W3202887189","https://openalex.org/W4207083104","https://openalex.org/W4225486515","https://openalex.org/W4226518298","https://openalex.org/W4244819751","https://openalex.org/W4249025681","https://openalex.org/W4300127641","https://openalex.org/W4308413541","https://openalex.org/W4309626784","https://openalex.org/W4323571984","https://openalex.org/W4327813575","https://openalex.org/W4361233395","https://openalex.org/W4388511292","https://openalex.org/W4389724535","https://openalex.org/W4389887771","https://openalex.org/W4389989108","https://openalex.org/W4391248093"],"related_works":["https://openalex.org/W4210406818","https://openalex.org/W4306779889","https://openalex.org/W3211706803","https://openalex.org/W4382775358","https://openalex.org/W4246942721","https://openalex.org/W3209862047","https://openalex.org/W4386732777","https://openalex.org/W4304136894","https://openalex.org/W2989851257","https://openalex.org/W2799059781"],"abstract_inverted_index":{"In":[0,133],"recent":[1],"years,":[2],"multiple":[3],"solutions":[4,14,52],"have":[5,20],"been":[6,69],"proposed":[7],"for":[8,34,158],"blockchain":[9,159],"interoperability.":[10],"However,":[11,42],"designing":[12],"these":[13,35],"is":[15],"complex,":[16],"and":[17,29,37,58,103,113,131,142],"design":[18],"failures":[19],"caused":[21],"great":[22],"economic":[23],"damage":[24],"to":[25,49,84],"their":[26,40],"owners.":[27],"Safety":[28],"liveness":[30],"are":[31],"essential":[32],"properties":[33],"solutions,":[36],"formalisation":[38,87],"eases":[39],"verification.":[41],"only":[43],"a":[44,75,89,105,149],"few":[45],"efforts":[46],"were":[47,60],"performed":[48],"formalise":[50],"interoperability":[51,91,160],"with":[53,93,124],"known":[54],"formal":[55,135,156],"methods.":[56],"TLA+":[57],"PAT":[59],"previously":[61],"used;":[62],"however,":[63],"the":[64,86,99,117,153],"Event-B":[65],"method":[66,100],"has":[67],"not":[68],"explored,":[70],"although":[71],"it":[72],"might":[73],"be":[74,109],"suitable":[76,102],"approach.":[77],"The":[78,95,120],"purpose":[79],"of":[80,88,155],"this":[81],"paper":[82],"was":[83,101,122],"explore":[85],"gateway-based":[90],"solution":[92],"Event-B.":[94],"results":[96,147],"showed":[97],"that":[98,104,127],"straightforward":[106],"specification":[107,121],"could":[108],"developed":[110],"considering":[111],"Ethereum":[112],"Hyperledger":[114],"Fabric":[115],"as":[116],"involved":[118],"blockchains.":[119],"assessed":[123],"three":[125],"strategies":[126],"enabled":[128],"its":[129],"verification":[130,136],"validation.":[132],"particular,":[134],"(e.g.":[137],"safety":[138],"properties),":[139],"functional":[140,143],"validation,":[141],"utility.":[144],"These":[145],"promising":[146],"constitute":[148],"step":[150],"forward":[151],"in":[152],"development":[154],"specifications":[157],"solutions.":[161]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}