{"id":"https://openalex.org/W4388308132","doi":"https://doi.org/10.2298/csis230611068w","title":"Applying SPIN checker on 5G EAP-TLS authentication protocol analysis","display_name":"Applying SPIN checker on 5G EAP-TLS authentication protocol analysis","publication_year":2023,"publication_date":"2023-11-03","ids":{"openalex":"https://openalex.org/W4388308132","doi":"https://doi.org/10.2298/csis230611068w"},"language":"en","primary_location":{"id":"doi:10.2298/csis230611068w","is_oa":true,"landing_page_url":"https://doi.org/10.2298/csis230611068w","pdf_url":"http://www.doiserbia.nb.rs/ft.aspx?id=1820-02142300068W","source":{"id":"https://openalex.org/S206939107","display_name":"Computer Science and Information Systems","issn_l":"1820-0214","issn":["1820-0214","2406-1018"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310321031","host_organization_name":"ComSIS Consortium","host_organization_lineage":["https://openalex.org/P4310321031"],"host_organization_lineage_names":["ComSIS Consortium"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Science and Information Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://www.doiserbia.nb.rs/ft.aspx?id=1820-02142300068W","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027796548","display_name":"Qianli Wang","orcid":null},"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":"Qianli Wang","raw_affiliation_strings":["Software School, East China JiaoTong University, Nanchang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software School, East China JiaoTong University, Nanchang, China","institution_ids":["https://openalex.org/I13985625"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027796548"],"corresponding_institution_ids":["https://openalex.org/I13985625"],"apc_list":null,"apc_paid":null,"fwci":0.3509,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.60110991,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"21","issue":"1","first_page":"21","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"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.9998000264167786,"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.9962999820709229,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9925000071525574,"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/promela","display_name":"Promela","score":0.924354076385498},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8313024044036865},{"id":"https://openalex.org/keywords/authentication-protocol","display_name":"Authentication protocol","score":0.7802186608314514},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5713936686515808},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5337173938751221},{"id":"https://openalex.org/keywords/otway\u2013rees-protocol","display_name":"Otway\u2013Rees protocol","score":0.5315890908241272},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.470439612865448},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.4644574820995331},{"id":"https://openalex.org/keywords/challenge-handshake-authentication-protocol","display_name":"Challenge-Handshake Authentication Protocol","score":0.45267462730407715},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.385429322719574},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3437856435775757},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.2647410035133362},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26426249742507935}],"concepts":[{"id":"https://openalex.org/C2776329536","wikidata":"https://www.wikidata.org/wiki/Q948666","display_name":"Promela","level":3,"score":0.924354076385498},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8313024044036865},{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.7802186608314514},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5713936686515808},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5337173938751221},{"id":"https://openalex.org/C35788789","wikidata":"https://www.wikidata.org/wiki/Q1320237","display_name":"Otway\u2013Rees protocol","level":5,"score":0.5315890908241272},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.470439612865448},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.4644574820995331},{"id":"https://openalex.org/C207828512","wikidata":"https://www.wikidata.org/wiki/Q1060131","display_name":"Challenge-Handshake Authentication Protocol","level":4,"score":0.45267462730407715},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.385429322719574},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3437856435775757},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2647410035133362},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26426249742507935},{"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2298/csis230611068w","is_oa":true,"landing_page_url":"https://doi.org/10.2298/csis230611068w","pdf_url":"http://www.doiserbia.nb.rs/ft.aspx?id=1820-02142300068W","source":{"id":"https://openalex.org/S206939107","display_name":"Computer Science and Information Systems","issn_l":"1820-0214","issn":["1820-0214","2406-1018"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310321031","host_organization_name":"ComSIS Consortium","host_organization_lineage":["https://openalex.org/P4310321031"],"host_organization_lineage_names":["ComSIS Consortium"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Science and Information Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.2298/csis230611068w","is_oa":true,"landing_page_url":"https://doi.org/10.2298/csis230611068w","pdf_url":"http://www.doiserbia.nb.rs/ft.aspx?id=1820-02142300068W","source":{"id":"https://openalex.org/S206939107","display_name":"Computer Science and Information Systems","issn_l":"1820-0214","issn":["1820-0214","2406-1018"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310321031","host_organization_name":"ComSIS Consortium","host_organization_lineage":["https://openalex.org/P4310321031"],"host_organization_lineage_names":["ComSIS Consortium"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Science and Information Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388308132.pdf"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W1488313539","https://openalex.org/W1503887377","https://openalex.org/W1573295900","https://openalex.org/W1779054477","https://openalex.org/W1975306232","https://openalex.org/W2006406722","https://openalex.org/W2032577199","https://openalex.org/W2115309705","https://openalex.org/W2132544882","https://openalex.org/W2150682469","https://openalex.org/W2169908972","https://openalex.org/W2512431877","https://openalex.org/W2544274814","https://openalex.org/W2765700031","https://openalex.org/W2803681306","https://openalex.org/W2940451011","https://openalex.org/W2966102633","https://openalex.org/W3003760462","https://openalex.org/W3196810469","https://openalex.org/W4210531213","https://openalex.org/W4285319382","https://openalex.org/W4293262099","https://openalex.org/W4322695760"],"related_works":["https://openalex.org/W2362963703","https://openalex.org/W2388247877","https://openalex.org/W2379241680","https://openalex.org/W2133761101","https://openalex.org/W2354152081","https://openalex.org/W2127299350","https://openalex.org/W2170402725","https://openalex.org/W2386088395","https://openalex.org/W1629593159","https://openalex.org/W2359724591"],"abstract_inverted_index":{"Currently,":[0],"there":[1],"is":[2,78,104],"relatively":[3],"little":[4],"formal":[5,28,53],"analysis":[6,29],"and":[7,47,132,149,160,189,201,206],"verification":[8,193],"work":[9],"on":[10,68],"the":[11,21,31,39,42,56,61,64,69,79,82,86,92,106,118,126,129,134,143,147,155,164,175,179,192,195],"5G":[12,32,43,87,180],"EAP-TLS":[13,33,44,88,181],"authentication":[14,34,45,89,158,182],"protocol.":[15,35,57,165],"In":[16],"this":[17,76],"paper,":[18],"we":[19,37,59],"use":[20],"model":[22,54,66,136],"checker":[23],"SPIN":[24,110],"to":[25,50],"perform":[26],"a":[27,52,171],"of":[30,41,55,63,75,81,85,120,128,146,163,174,178,194,203],"Firstly,":[36],"analyze":[38],"process":[40],"protocol":[46,65,90,148,183,204],"abstract":[48],"it":[49],"obtain":[51],"Then,":[58],"describe":[60],"construction":[62,137],"based":[67],"Promela":[70,107,135],"language.":[71],"The":[72,140,166],"unique":[73],"feature":[74],"paper":[77,141],"replacement":[80],"hash":[83,130],"value":[84,119],"with":[91],"message":[93],"content":[94],"field":[95],"encrypted":[96],"by":[97],"an":[98,112],"unknown":[99],"subject":[100],"public":[101],"key.":[102],"This":[103,123],"because":[105],"language":[108],"in":[109],"has":[111],"eval":[113],"function":[114,127,131],"that":[115,153],"can":[116,124],"check":[117],"each":[121],"field.":[122],"replace":[125],"make":[133],"more":[138],"portable.":[139],"analyzes":[142],"attack":[144],"paths":[145],"reveals":[150],"design":[151],"flaws":[152],"undermine":[154],"expected":[156],"identity":[157],"attributes":[159],"secret":[161],"consistency":[162],"results":[167],"not":[168],"only":[169],"provide":[170],"comprehensive":[172],"understanding":[173],"security":[176,197,199],"properties":[177],"but":[184],"also":[185],"offer":[186],"valuable":[187],"insights":[188],"guidance":[190],"for":[191],"protocol's":[196],"properties,":[198],"design,":[200],"optimization":[202],"implementation":[205],"interoperability.":[207]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}