{"id":"https://openalex.org/W4400921004","doi":"https://doi.org/10.1145/3672199.3673888","title":"Accelerating ACL Configuration Update through Data Plane Analysis","display_name":"Accelerating ACL Configuration Update through Data Plane Analysis","publication_year":2024,"publication_date":"2024-07-23","ids":{"openalex":"https://openalex.org/W4400921004","doi":"https://doi.org/10.1145/3672199.3673888"},"language":"en","primary_location":{"id":"doi:10.1145/3672199.3673888","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3672199.3673888","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation","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/A5104988997","display_name":"Tianyi Kou","orcid":null},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Tianyi Kou","raw_affiliation_strings":["Beijing University of Posts and Telecommunications, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0006-5248-4221","affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008194128","display_name":"Haifeng Sun","orcid":"https://orcid.org/0000-0003-3072-7422"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haifeng Sun","raw_affiliation_strings":["Beijing University of Posts and Telecommunications, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3072-7422","affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076969590","display_name":"Zirui Zhuang","orcid":"https://orcid.org/0000-0003-3345-1732"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zirui Zhuang","raw_affiliation_strings":["Beijing University of Posts and Telecommunications, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3345-1732","affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100406584","display_name":"Qi Qi","orcid":"https://orcid.org/0000-0003-0829-4624"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qi Qi","raw_affiliation_strings":["Beijing University of Posts and Telecommunications, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-0829-4624","affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100432460","display_name":"Jingyu Wang","orcid":"https://orcid.org/0000-0002-2182-2228"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingyu Wang","raw_affiliation_strings":["Beijing University of Posts and Telecommunications, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-2182-2228","affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055685073","display_name":"Jianxin Liao","orcid":"https://orcid.org/0000-0003-1486-0573"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianxin Liao","raw_affiliation_strings":["Beijing University of Posts and Telecommunications, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-1486-0573","affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5104988997"],"corresponding_institution_ids":["https://openalex.org/I139759216"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11035197,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"48","last_page":"50"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.6231892108917236}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6231892108917236}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3672199.3673888","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3672199.3673888","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","score":0.4000000059604645,"id":"https://metadata.un.org/sdg/13"}],"awards":[{"id":"https://openalex.org/G265688409","display_name":null,"funder_award_id":"Grant 62201072","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W1480909796","https://openalex.org/W2047406992","https://openalex.org/W2115526539","https://openalex.org/W2163132346","https://openalex.org/W2166566648","https://openalex.org/W2324910104","https://openalex.org/W2968168257","https://openalex.org/W2989358216","https://openalex.org/W3187890719","https://openalex.org/W3192763327","https://openalex.org/W3192885377","https://openalex.org/W4290991152","https://openalex.org/W4389988939"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"A":[0],"novel":[1],"method":[2,45,134],"is":[3,34],"designed":[4],"to":[5,21,84,113,146,153,159],"address":[6],"the":[7,49,62,75,80,88,93,98,103,109,114,118,121,166],"challenges":[8],"associated":[9,52],"with":[10,53,151],"updating":[11],"Access":[12],"Control":[13],"Lists":[14],"(ACLs)":[15],"in":[16,56,74,127,138,171],"complex":[17],"networks.":[18,41,173],"Traditional":[19],"approaches":[20],"ACL":[22,169],"configuration":[23],"often":[24],"rely":[25],"on":[26],"comprehensive,":[27],"network-wide":[28],"Satisfiability":[29],"Problem":[30],"(SAT)":[31],"solving,":[32],"which":[33],"computationally":[35],"intensive":[36],"and":[37,68,71,117,164],"inefficient":[38],"for":[39,148],"large-scale":[40],"We":[42],"propose":[43],"a":[44],"that":[46,132],"significantly":[47],"reduces":[48],"computational":[50],"overhead":[51],"SAT":[54,81,115],"solving":[55,82,94,139],"two":[57],"aspects.":[58],"Firstly,":[59],"by":[60,96],"contrasting":[61],"discrepancies":[63],"between":[64],"network":[65,129,161],"forwarding":[66],"behavior":[67,99],"intentions":[69],"before":[70],"after":[72],"updates":[73],"data":[76],"plane,":[77],"it":[78,91],"confines":[79],"space":[83],"localized":[85,104],"regions":[86],"of":[87,100,111,120,144,168],"network.":[89],"Secondly,":[90],"optimizes":[92],"process":[95],"utilizing":[97],"devices":[101],"outside":[102],"regions,":[105],"thereby":[106],"decreasing":[107],"both":[108],"frequency":[110],"calls":[112],"solver":[116],"scale":[119],"problems":[122],"being":[123],"solved.":[124],"Preliminary":[125],"evaluations":[126],"simulated":[128],"environments":[130],"demonstrate":[131],"our":[133],"achieves":[135],"substantial":[136],"improvements":[137,143],"speed,":[140],"achieving":[141],"speed":[142],"31x":[145],"59x":[147],"larger":[149],"networks":[150],"up":[152],"150":[154],"nodes.":[155],"This":[156],"approach":[157],"promises":[158],"streamline":[160],"management":[162],"tasks":[163],"enhance":[165],"reliability":[167],"configurations":[170],"dynamic":[172]},"counts_by_year":[],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}