{"id":"https://openalex.org/W3198067674","doi":"https://doi.org/10.18293/seke2021-028","title":"AnB2Murphi: A Translator for Converting Alice and Bob Specifications to Murphi","display_name":"AnB2Murphi: A Translator for Converting Alice and Bob Specifications to Murphi","publication_year":2021,"publication_date":"2021-07-03","ids":{"openalex":"https://openalex.org/W3198067674","doi":"https://doi.org/10.18293/seke2021-028","mag":"3198067674"},"language":"en","primary_location":{"id":"doi:10.18293/seke2021-028","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2021-028","pdf_url":"https://doi.org/10.18293/seke2021-028","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.18293/seke2021-028","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013464242","display_name":"Yongxin Zhao","orcid":"https://orcid.org/0000-0001-5712-079X"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yongxin Zhao","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013464242"],"corresponding_institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":0.5043,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.83995261,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"2021","issue":null,"first_page":"108","last_page":"113"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.95169997215271,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.95169997215271,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9503999948501587,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9121999740600586,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/alice","display_name":"Alice (programming language)","score":0.9382144212722778},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6659689545631409},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5912292003631592},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33230873942375183}],"concepts":[{"id":"https://openalex.org/C2778222013","wikidata":"https://www.wikidata.org/wiki/Q1136926","display_name":"Alice (programming language)","level":2,"score":0.9382144212722778},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6659689545631409},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5912292003631592},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33230873942375183}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18293/seke2021-028","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2021-028","pdf_url":"https://doi.org/10.18293/seke2021-028","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18293/seke2021-028","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2021-028","pdf_url":"https://doi.org/10.18293/seke2021-028","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1614471940","display_name":null,"funder_award_id":"2020AAA0","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G2202130856","display_name":"Measuring Cluster Masses","funder_award_id":"0107800","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2275947126","display_name":null,"funder_award_id":"2020AAA0107800","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G8449315781","display_name":null,"funder_award_id":"61672503","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321885","display_name":"Science and Technology Commission of Shanghai Municipality","ror":"https://ror.org/03kt66j61"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3198067674.pdf","grobid_xml":"https://content.openalex.org/works/W3198067674.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W146244851","https://openalex.org/W1536580911","https://openalex.org/W1801505325","https://openalex.org/W1967762279","https://openalex.org/W2029693536","https://openalex.org/W2104655005","https://openalex.org/W2146973388","https://openalex.org/W2161976608","https://openalex.org/W2226491245","https://openalex.org/W2242102996","https://openalex.org/W2296575472","https://openalex.org/W6657688561"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4232165261","https://openalex.org/W4251817561","https://openalex.org/W4238337057","https://openalex.org/W2079676826","https://openalex.org/W2387602844","https://openalex.org/W1548585588","https://openalex.org/W641281763","https://openalex.org/W632085907","https://openalex.org/W2048843468"],"abstract_inverted_index":{"As":[0],"an":[1],"important":[2],"part":[3],"of":[4,6,24,102,122,129,141,174,180,196],"Internet":[5],"Things":[7],"and":[8,98,114,158,188],"5G":[9,189],"network":[10],"technology,":[11],"security":[12,25,48,55,73,123,143,175,181],"protocols":[13,56,74,124,182],"play":[14],"a":[15,93,112],"critical":[16],"role":[17],"in":[18,35,60],"ensuring":[19],"communication":[20],"security.":[21],"Formal":[22],"analysis":[23],"protocol":[26,187,192],"has":[27],"been":[28,43],"successfully":[29],"applied":[30,83],"to":[31,45,64,84,131,169],"find":[32],"design":[33],"flaws":[34],"recent":[36],"years.":[37],"Many":[38],"formal":[39,86,104,160],"verification":[40,87],"tools":[41],"have":[42],"used":[44],"verify":[46,170],"the":[47,66,77,85,99,103,119,126,133,138,142,148,152,165,171,194],"protocols,":[49],"including":[50],"Murphi":[51,130,159,166],"model":[52,167,173],"checker.":[53],"However,":[54],"are":[57],"often":[58],"expressed":[59],"so-called":[61],"Alice&Bob":[62,96,120,139],"notation":[63],"describe":[65],"messages":[67],"exchanged":[68],"between":[69,95,155],"honest":[70],"principals.":[71],"And":[72],"defined":[75],"by":[76],"A&B":[78,156],"specifications":[79,97,121,140,157],"can":[80],"not":[81],"be":[82],"tool":[88],"directly.":[89],"Therefore,":[90],"there":[91],"is":[92],"gap":[94],"modeling":[100],"languages":[101],"tools.":[105],"In":[106],"this":[107],"paper,":[108],"we":[109,136,146,163],"propose":[110],"AnB2Murphi,":[111],"novel":[113],"general":[115],"translator":[116],"which":[117],"compiles":[118],"into":[125],"input":[127],"language":[128],"bridge":[132],"gap.":[134],"First,":[135],"specify":[137],"protocol.":[144,176],"Then":[145],"take":[147],"strand":[149],"space":[150],"as":[151],"intermediate":[153],"form":[154],"model.":[161],"Finally,":[162],"use":[164],"checker":[168],"generated":[172],"The":[177],"case":[178],"studies":[179],"like":[183],"Needham-Schroeder":[184],"public":[185],"key":[186],"EAP-TLS":[190],"authentication":[191],"demonstrate":[193],"efficiency":[195],"our":[197],"translator.":[198]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}