{"id":"https://openalex.org/W2894475141","doi":"https://doi.org/10.1007/978-981-13-2712-4_4","title":"Formal Analysis and Verification for Three-Party Authentication Protocol of RFID","display_name":"Formal Analysis and Verification for Three-Party Authentication Protocol of RFID","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2894475141","doi":"https://doi.org/10.1007/978-981-13-2712-4_4","mag":"2894475141"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-13-2712-4_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-13-2712-4_4","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"Communications in Computer and Information 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/A5100416017","display_name":"Jia Chen","orcid":"https://orcid.org/0000-0002-1459-4255"},"institutions":[{"id":"https://openalex.org/I13985625","display_name":"East China Jiaotong University","ror":"https://ror.org/05x2f1m38","country_code":"CN","type":"education","lineage":["https://openalex.org/I13985625"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jia Chen","raw_affiliation_strings":["School of Software, East China Jiaotong University, Nanchang, 330013, People\u2019s Republic of China","School of Software, East China Jiaotong University, Nanchang, 330013, People's Republic of China"],"raw_orcid":"https://orcid.org/0000-0002-1459-4255","affiliations":[{"raw_affiliation_string":"School of Software, East China Jiaotong University, Nanchang, 330013, People\u2019s Republic of China","institution_ids":["https://openalex.org/I13985625"]},{"raw_affiliation_string":"School of Software, East China Jiaotong University, Nanchang, 330013, People's Republic of China","institution_ids":["https://openalex.org/I13985625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047250673","display_name":"Meihua Xiao","orcid":"https://orcid.org/0000-0003-2717-7060"},"institutions":[{"id":"https://openalex.org/I13985625","display_name":"East China Jiaotong University","ror":"https://ror.org/05x2f1m38","country_code":"CN","type":"education","lineage":["https://openalex.org/I13985625"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meihua Xiao","raw_affiliation_strings":["School of Software, East China Jiaotong University, Nanchang, 330013, People\u2019s Republic of China","School of Software, East China Jiaotong University, Nanchang, 330013, People's Republic of China"],"raw_orcid":"https://orcid.org/0000-0003-2717-7060","affiliations":[{"raw_affiliation_string":"School of Software, East China Jiaotong University, Nanchang, 330013, People\u2019s Republic of China","institution_ids":["https://openalex.org/I13985625"]},{"raw_affiliation_string":"School of Software, East China Jiaotong University, Nanchang, 330013, People's Republic of China","institution_ids":["https://openalex.org/I13985625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031932067","display_name":"Ke Yang","orcid":"https://orcid.org/0000-0002-6441-2309"},"institutions":[{"id":"https://openalex.org/I13985625","display_name":"East China Jiaotong University","ror":"https://ror.org/05x2f1m38","country_code":"CN","type":"education","lineage":["https://openalex.org/I13985625"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ke Yang","raw_affiliation_strings":["School of Software, East China Jiaotong University, Nanchang, 330013, People\u2019s Republic of China","School of Software, East China Jiaotong University, Nanchang, 330013, People's Republic of China"],"raw_orcid":"https://orcid.org/0000-0002-6441-2309","affiliations":[{"raw_affiliation_string":"School of Software, East China Jiaotong University, Nanchang, 330013, People\u2019s Republic of China","institution_ids":["https://openalex.org/I13985625"]},{"raw_affiliation_string":"School of Software, East China Jiaotong University, Nanchang, 330013, People's Republic of China","institution_ids":["https://openalex.org/I13985625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101930813","display_name":"Wei Li","orcid":"https://orcid.org/0000-0002-5481-008X"},"institutions":[{"id":"https://openalex.org/I4210126257","display_name":"CRRC (China)","ror":"https://ror.org/033g21894","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210126257"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wei Li","raw_affiliation_strings":["Intelligent Network Research and Development Department, CRRC Zhuzhou Locomotive Co., Ltd., Zhuzhou, 412001, Hunan, People\u2019s Republic of China","Intelligent Network Research and Development Department, CRRC Zhuzhou Locomotive Co., Ltd., Zhuzhou, 412001, Hunan, People's Republic of China"],"raw_orcid":"https://orcid.org/0000-0002-5481-008X","affiliations":[{"raw_affiliation_string":"Intelligent Network Research and Development Department, CRRC Zhuzhou Locomotive Co., Ltd., Zhuzhou, 412001, Hunan, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210126257"]},{"raw_affiliation_string":"Intelligent Network Research and Development Department, CRRC Zhuzhou Locomotive Co., Ltd., Zhuzhou, 412001, Hunan, People's Republic of China","institution_ids":["https://openalex.org/I4210126257"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089004185","display_name":"Xiaomei Zhong","orcid":"https://orcid.org/0000-0001-7479-2723"},"institutions":[{"id":"https://openalex.org/I13985625","display_name":"East China Jiaotong University","ror":"https://ror.org/05x2f1m38","country_code":"CN","type":"education","lineage":["https://openalex.org/I13985625"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaomei Zhong","raw_affiliation_strings":["School of Software, East China Jiaotong University, Nanchang, 330013, People\u2019s Republic of China","School of Software, East China Jiaotong University, Nanchang, 330013, People's Republic of China"],"raw_orcid":"https://orcid.org/0000-0001-7479-2723","affiliations":[{"raw_affiliation_string":"School of Software, East China Jiaotong University, Nanchang, 330013, People\u2019s Republic of China","institution_ids":["https://openalex.org/I13985625"]},{"raw_affiliation_string":"School of Software, East China Jiaotong University, Nanchang, 330013, People's Republic of China","institution_ids":["https://openalex.org/I13985625"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100416017","https://openalex.org/A5101930813"],"corresponding_institution_ids":["https://openalex.org/I13985625","https://openalex.org/I4210126257"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.14862205,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"46","last_page":"60"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9994000196456909,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9983999729156494,"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/T10986","display_name":"RFID technology advancements","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/authentication-protocol","display_name":"Authentication protocol","score":0.8663687705993652},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7935973405838013},{"id":"https://openalex.org/keywords/lightweight-extensible-authentication-protocol","display_name":"Lightweight Extensible Authentication Protocol","score":0.7223950624465942},{"id":"https://openalex.org/keywords/challenge-handshake-authentication-protocol","display_name":"Challenge-Handshake Authentication Protocol","score":0.7057717442512512},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6588727235794067},{"id":"https://openalex.org/keywords/otway\u2013rees-protocol","display_name":"Otway\u2013Rees protocol","score":0.6400931477546692},{"id":"https://openalex.org/keywords/wide-mouth-frog-protocol","display_name":"Wide Mouth Frog protocol","score":0.5717250108718872},{"id":"https://openalex.org/keywords/mutual-authentication","display_name":"Mutual authentication","score":0.5671796202659607},{"id":"https://openalex.org/keywords/data-authentication-algorithm","display_name":"Data Authentication Algorithm","score":0.5606766939163208},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.4947487711906433},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4847407042980194},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4540747404098511},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4494653344154358},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.42664793133735657},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.2261139154434204},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.07244876027107239}],"concepts":[{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.8663687705993652},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7935973405838013},{"id":"https://openalex.org/C167169670","wikidata":"https://www.wikidata.org/wiki/Q1824705","display_name":"Lightweight Extensible Authentication Protocol","level":4,"score":0.7223950624465942},{"id":"https://openalex.org/C207828512","wikidata":"https://www.wikidata.org/wiki/Q1060131","display_name":"Challenge-Handshake Authentication Protocol","level":4,"score":0.7057717442512512},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6588727235794067},{"id":"https://openalex.org/C35788789","wikidata":"https://www.wikidata.org/wiki/Q1320237","display_name":"Otway\u2013Rees protocol","level":5,"score":0.6400931477546692},{"id":"https://openalex.org/C124086997","wikidata":"https://www.wikidata.org/wiki/Q4053131","display_name":"Wide Mouth Frog protocol","level":5,"score":0.5717250108718872},{"id":"https://openalex.org/C2781221063","wikidata":"https://www.wikidata.org/wiki/Q6944186","display_name":"Mutual authentication","level":3,"score":0.5671796202659607},{"id":"https://openalex.org/C168970074","wikidata":"https://www.wikidata.org/wiki/Q5227146","display_name":"Data Authentication Algorithm","level":4,"score":0.5606766939163208},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.4947487711906433},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4847407042980194},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4540747404098511},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4494653344154358},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.42664793133735657},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2261139154434204},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.07244876027107239},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-981-13-2712-4_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-13-2712-4_4","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"Communications in Computer and Information Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1503887377","https://openalex.org/W2026561852","https://openalex.org/W2029693536","https://openalex.org/W2036019691","https://openalex.org/W2115309705","https://openalex.org/W2332831973","https://openalex.org/W2365236609","https://openalex.org/W2366594891","https://openalex.org/W2378249607","https://openalex.org/W2388116064","https://openalex.org/W2388402023","https://openalex.org/W2763626592","https://openalex.org/W6987031713"],"related_works":["https://openalex.org/W2362963703","https://openalex.org/W2354152081","https://openalex.org/W2127299350","https://openalex.org/W2170402725","https://openalex.org/W1949088485","https://openalex.org/W2348375952","https://openalex.org/W3095020514","https://openalex.org/W2107692711","https://openalex.org/W2004681538","https://openalex.org/W2394314119"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}