{"id":"https://openalex.org/W3174421648","doi":"https://doi.org/10.1145/3458864.3466625","title":"Discovering emergency call pitfalls for cellular networks with formal methods","display_name":"Discovering emergency call pitfalls for cellular networks with formal methods","publication_year":2021,"publication_date":"2021-06-22","ids":{"openalex":"https://openalex.org/W3174421648","doi":"https://doi.org/10.1145/3458864.3466625","mag":"3174421648"},"language":"en","primary_location":{"id":"doi:10.1145/3458864.3466625","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3458864.3466625","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3458864.3466625","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Annual International Conference on Mobile Systems, Applications, and Services","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3458864.3466625","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028854046","display_name":"Kaiyu Hou","orcid":"https://orcid.org/0000-0002-7551-1345"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kaiyu Hou","raw_affiliation_strings":["Northwestern University"],"affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100401840","display_name":"You Li","orcid":"https://orcid.org/0000-0003-3460-9642"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"You Li","raw_affiliation_strings":["Northwestern University"],"affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087622786","display_name":"Yinbo Yu","orcid":"https://orcid.org/0000-0002-0257-5081"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinbo Yu","raw_affiliation_strings":["Northwestern Polytechnical University, Shaanxi, China"],"affiliations":[{"raw_affiliation_string":"Northwestern Polytechnical University, Shaanxi, China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100378075","display_name":"Yan Chen","orcid":"https://orcid.org/0000-0002-3227-4562"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yan Chen","raw_affiliation_strings":["Northwestern University"],"affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103038285","display_name":"Hai Zhou","orcid":"https://orcid.org/0000-0003-4824-7179"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hai Zhou","raw_affiliation_strings":["Northwestern University"],"affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5028854046"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2033,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.78423731,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"296","last_page":"309"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.996999979019165,"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"}},"topics":[{"id":"https://openalex.org/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.996999979019165,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9941999912261963,"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/T10575","display_name":"Wireless Communication Networks Research","score":0.9927999973297119,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7840456366539001},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6603561639785767},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5159574151039124},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4181951880455017},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.14033344388008118},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07096660137176514}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7840456366539001},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6603561639785767},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5159574151039124},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4181951880455017},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.14033344388008118},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07096660137176514}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3458864.3466625","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3458864.3466625","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3458864.3466625","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Annual International Conference on Mobile Systems, Applications, and Services","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3458864.3466625","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3458864.3466625","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3458864.3466625","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Annual International Conference on Mobile Systems, Applications, and Services","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.6800000071525574,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3174421648.pdf","grobid_xml":"https://content.openalex.org/works/W3174421648.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W650931549","https://openalex.org/W1504504841","https://openalex.org/W1778464109","https://openalex.org/W1982219705","https://openalex.org/W2010579408","https://openalex.org/W2045673642","https://openalex.org/W2047711801","https://openalex.org/W2147982176","https://openalex.org/W2309964967","https://openalex.org/W2325999550","https://openalex.org/W2341110202","https://openalex.org/W2521390033","https://openalex.org/W2526496292","https://openalex.org/W2544274814","https://openalex.org/W2725494835","https://openalex.org/W2773344899","https://openalex.org/W2792636363","https://openalex.org/W2809727329","https://openalex.org/W2896255269","https://openalex.org/W2932741641","https://openalex.org/W2939153332","https://openalex.org/W2946869648","https://openalex.org/W2947003210","https://openalex.org/W2952782444","https://openalex.org/W2963061006","https://openalex.org/W2967332045","https://openalex.org/W2987215725"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Availability":[0],"and":[1,93],"security":[2],"problems":[3],"in":[4,44],"cellular":[5],"emergency":[6,40,62,76,116],"call":[7,41,63],"systems":[8,64],"can":[9,130],"cost":[10],"people":[11],"their":[12],"lives,":[13],"yet":[14],"this":[15,33],"topic":[16,34],"has":[17],"not":[18],"been":[19],"thoroughly":[20],"researched.":[21],"Based":[22,102],"on":[23,103],"our":[24],"proposed":[25],"Seed-Assisted":[26],"Specification":[27],"method,":[28],"we":[29,48,56,85,107,119,129],"start":[30],"to":[31,126],"investigate":[32],"by":[35],"looking":[36],"closely":[37],"into":[38,99],"one":[39],"failure":[42],"case":[43,52],"China.":[45],"Using":[46],"what":[47],"learned":[49],"from":[50],"the":[51,100,104,113],"as":[53,96],"prior":[54],"knowledge,":[55],"build":[57],"a":[58,121],"formal":[59],"model":[60,70,97],"of":[61,88,115],"with":[65,123],"proper":[66],"granularity.":[67],"By":[68],"running":[69],"checking,":[71],"four":[72],"public-unaware":[73],"scenarios":[74],"where":[75],"calls":[77],"cannot":[78],"be":[79],"correctly":[80],"routed":[81],"are":[82],"discovered.":[83],"Additionally,":[84],"extract":[86],"configurations":[87],"two":[89,109],"major":[90],"U.S.":[91],"carriers":[92],"incorporate":[94],"them":[95],"constraints":[98],"model.":[101],"augmented":[105],"model,":[106],"find":[108],"new":[110],"attacks":[111],"leveraging":[112],"privileges":[114],"calls.":[117],"Finally,":[118],"present":[120],"solution":[122],"marginal":[124],"overhead":[125],"resolve":[127],"issues":[128],"foresee.":[131]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}