{"id":"https://openalex.org/W4411337854","doi":"https://doi.org/10.1109/sp61157.2025.00141","title":"From Control to Chaos: A Comprehensive Formal Analysis of 5G's Access Control","display_name":"From Control to Chaos: A Comprehensive Formal Analysis of 5G's Access Control","publication_year":2025,"publication_date":"2025-05-12","ids":{"openalex":"https://openalex.org/W4411337854","doi":"https://doi.org/10.1109/sp61157.2025.00141"},"language":"en","primary_location":{"id":"doi:10.1109/sp61157.2025.00141","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp61157.2025.00141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Symposium on Security and Privacy (SP)","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/A5020943122","display_name":"Mujtahid Akon","orcid":"https://orcid.org/0009-0007-6748-6737"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mujtahid Akon","raw_affiliation_strings":["Pennsylvania State University"],"affiliations":[{"raw_affiliation_string":"Pennsylvania State University","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118212491","display_name":"Md Toufikuzzaman","orcid":null},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Md Toufikuzzaman","raw_affiliation_strings":["Pennsylvania State University"],"affiliations":[{"raw_affiliation_string":"Pennsylvania State University","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053169357","display_name":"Syed Rafiul Hussain","orcid":"https://orcid.org/0000-0001-9222-8544"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Syed Rafiul Hussain","raw_affiliation_strings":["Pennsylvania State University"],"affiliations":[{"raw_affiliation_string":"Pennsylvania State University","institution_ids":["https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5020943122"],"corresponding_institution_ids":["https://openalex.org/I130769515"],"apc_list":null,"apc_paid":null,"fwci":3.6872,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.93046291,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1081","last_page":"1100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.7716000080108643,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.7716000080108643,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10148","display_name":"Advanced MIMO Systems Optimization","score":0.6974999904632568,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12146","display_name":"Power Line Communications and Noise","score":0.6686999797821045,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"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/chaos","display_name":"CHAOS (operating system)","score":0.7747180461883545},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6103487014770508},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.6067696809768677},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.4437279999256134},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.21333476901054382},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12404066324234009}],"concepts":[{"id":"https://openalex.org/C2779374083","wikidata":"https://www.wikidata.org/wiki/Q5011038","display_name":"CHAOS (operating system)","level":2,"score":0.7747180461883545},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6103487014770508},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.6067696809768677},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.4437279999256134},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.21333476901054382},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12404066324234009}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sp61157.2025.00141","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp61157.2025.00141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1745824756","display_name":null,"funder_award_id":"D22AP00148","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5911954856","display_name":null,"funder_award_id":"2145631,2215017","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6583027857","display_name":null,"funder_award_id":"ITE 2326898,2515378","funder_id":"https://openalex.org/F4320333578","funder_display_name":"Office of the Under Secretary of Defense"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320333578","display_name":"Office of the Under Secretary of Defense","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W233122475","https://openalex.org/W1536946401","https://openalex.org/W1590437595","https://openalex.org/W1966841662","https://openalex.org/W1998568597","https://openalex.org/W2012921353","https://openalex.org/W2018625273","https://openalex.org/W2029693536","https://openalex.org/W2098039922","https://openalex.org/W2112995928","https://openalex.org/W2130025446","https://openalex.org/W2132450494","https://openalex.org/W2150656895","https://openalex.org/W2158395308","https://openalex.org/W2229250518","https://openalex.org/W2400427673","https://openalex.org/W2797972299","https://openalex.org/W2809727329","https://openalex.org/W2912640545","https://openalex.org/W2998879240","https://openalex.org/W3101159182","https://openalex.org/W4286911886","https://openalex.org/W4379340699","https://openalex.org/W4386838058","https://openalex.org/W4388857026","https://openalex.org/W4390045611","https://openalex.org/W4393036138","https://openalex.org/W4395477909","https://openalex.org/W4398131461","https://openalex.org/W4402599792","https://openalex.org/W6713697576","https://openalex.org/W6795368945","https://openalex.org/W6851483452","https://openalex.org/W6851904245","https://openalex.org/W6873193379"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2320196587"],"abstract_inverted_index":{"We":[0,125],"develop":[1],"CoreScan,":[2],"a":[3,47,110],"comprehensive":[4,25],"formal":[5,26],"analysis":[6],"framework":[7],"for":[8,28],"analyzing":[9],"the":[10,23,29,39,52,58,65,74,99,115,144],"access":[11,30,118,128],"control":[12,31,119,129],"mechanism":[13,32],"of":[14,33,117,138],"5G":[15,34,44,145],"core":[16,35],"networks.":[17],"In":[18],"doing":[19],"so,":[20],"we":[21,148],"build":[22],"first":[24],"model":[27,67],"network":[36],"that":[37,56,150],"considers":[38],"indirect":[40,162],"communication":[41,158,163],"mode":[42],"and":[43,72,82,91,133,164],"roaming.":[45],"Given":[46],"global":[48,86,100],"property,":[49],"CoreScan":[50,108,132],"employs":[51],"compositional":[53],"verification":[54],"technique":[55],"leverages":[57],"assume-guarantee":[59],"style":[60],"reasoning":[61],"approach":[62],"to":[63,78,161],"decompose":[64],"system":[66],"into":[68],"multiple":[69],"disjoint":[70],"components":[71],"applies":[73],"split":[75],"assertion":[76],"principle":[77],"identify":[79],"local":[80,95],"assumptions":[81],"guarantees.":[83],"The":[84],"model's":[85],"security":[87],"property":[88,101],"holds":[89],"if":[90,93],"only":[92],"all":[94],"guarantees":[96],"derived":[97],"from":[98],"are":[102],"verified":[103],"in":[104,143,156],"their":[105],"respective":[106],"components.":[107],"features":[109],"configurable":[111],"adversary":[112,123],"model,":[113],"enabling":[114],"evaluation":[116],"properties":[120,130],"under":[121],"diverse":[122],"capabilities.":[124],"tested":[126],"61":[127],"with":[131],"uncovered":[134],"five":[135],"new":[136],"classes":[137],"exploitable":[139],"privilege":[140],"escalation":[141],"vulnerabilities":[142,155],"standards.":[146],"Additionally,":[147],"found":[149],"most":[151],"previously":[152],"known":[153],"overprivilege":[154],"direct":[157],"also":[159],"extend":[160],"roaming":[165],"settings.":[166]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}