{"id":"https://openalex.org/W2968168257","doi":"https://doi.org/10.1145/3341302.3342088","title":"Safely and automatically updating in-network ACL configurations with intent language","display_name":"Safely and automatically updating in-network ACL configurations with intent language","publication_year":2019,"publication_date":"2019-08-14","ids":{"openalex":"https://openalex.org/W2968168257","doi":"https://doi.org/10.1145/3341302.3342088","mag":"2968168257"},"language":"en","primary_location":{"id":"doi:10.1145/3341302.3342088","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3341302.3342088","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Special Interest Group on Data Communication","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/A5091547804","display_name":"Bingchuan Tian","orcid":"https://orcid.org/0000-0003-2855-5772"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Bingchuan Tian","raw_affiliation_strings":["Nanjing University"],"affiliations":[{"raw_affiliation_string":"Nanjing University","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100381553","display_name":"Xinyi Zhang","orcid":"https://orcid.org/0000-0002-7144-5037"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xinyi Zhang","raw_affiliation_strings":["University of California Santa Barbara"],"affiliations":[{"raw_affiliation_string":"University of California Santa Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103040133","display_name":"Ennan Zhai","orcid":"https://orcid.org/0000-0003-4352-7497"},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ennan Zhai","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014959077","display_name":"Hongqiang Harry Liu","orcid":"https://orcid.org/0000-0001-6795-8537"},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hongqiang Harry Liu","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005935452","display_name":"Qiaobo Ye","orcid":"https://orcid.org/0000-0003-3180-4522"},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qiaobo Ye","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100331428","display_name":"Chunsheng Wang","orcid":"https://orcid.org/0000-0002-8626-6381"},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chunsheng Wang","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101231249","display_name":"Xin Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xin Wu","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100838062","display_name":"Zhiming Ji","orcid":null},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhiming Ji","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012489354","display_name":"Yihong Sang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yihong Sang","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100447273","display_name":"Ming Zhang","orcid":"https://orcid.org/0000-0002-4878-5420"},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ming Zhang","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103896816","display_name":"Yu Da","orcid":null},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]},{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Da Yu","raw_affiliation_strings":["Brown University and Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Brown University and Alibaba Group","institution_ids":["https://openalex.org/I4210095624","https://openalex.org/I27804330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100751736","display_name":"Chen Tian","orcid":"https://orcid.org/0000-0003-2710-7628"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Tian","raw_affiliation_strings":["Nanjing University"],"affiliations":[{"raw_affiliation_string":"Nanjing University","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022672030","display_name":"Hai-Tao Zheng","orcid":"https://orcid.org/0000-0001-5128-5649"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Haitao Zheng","raw_affiliation_strings":["University of Chicago"],"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108248360","display_name":"Ben Y. Zhao","orcid":"https://orcid.org/0009-0003-8909-0494"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Y. Zhao","raw_affiliation_strings":["University of Chicago"],"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":14,"corresponding_author_ids":["https://openalex.org/A5091547804"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":8.3405,"has_fulltext":false,"cited_by_count":96,"citation_normalized_percentile":{"value":0.97907559,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"214","last_page":"226"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9990000128746033,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9990000128746033,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9986000061035156,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9947999715805054,"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/correctness","display_name":"Correctness","score":0.8475932478904724},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7952399253845215},{"id":"https://openalex.org/keywords/downtime","display_name":"Downtime","score":0.6043863892555237},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5727754831314087},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5512095093727112},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5497038960456848},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.46444395184516907},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3957303762435913},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.395694375038147},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3827897012233734},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3304443955421448},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18151697516441345},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14713940024375916}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8475932478904724},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7952399253845215},{"id":"https://openalex.org/C180591934","wikidata":"https://www.wikidata.org/wiki/Q1253369","display_name":"Downtime","level":2,"score":0.6043863892555237},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5727754831314087},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5512095093727112},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5497038960456848},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.46444395184516907},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3957303762435913},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.395694375038147},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3827897012233734},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3304443955421448},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18151697516441345},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14713940024375916},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3341302.3342088","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3341302.3342088","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Special Interest Group on Data Communication","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.6899999976158142,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W1249296113","https://openalex.org/W1675033504","https://openalex.org/W1882012874","https://openalex.org/W1985021481","https://openalex.org/W2000680379","https://openalex.org/W2028191548","https://openalex.org/W2035951900","https://openalex.org/W2057361103","https://openalex.org/W2061520403","https://openalex.org/W2062897452","https://openalex.org/W2075335084","https://openalex.org/W2117180635","https://openalex.org/W2119326913","https://openalex.org/W2120255160","https://openalex.org/W2120389765","https://openalex.org/W2133496820","https://openalex.org/W2134368869","https://openalex.org/W2156013193","https://openalex.org/W2159743750","https://openalex.org/W2171199899","https://openalex.org/W2188073520","https://openalex.org/W2204503793","https://openalex.org/W2289285710","https://openalex.org/W2339906640","https://openalex.org/W2468070113","https://openalex.org/W2485543941","https://openalex.org/W2488197787","https://openalex.org/W2499399377","https://openalex.org/W2552298303","https://openalex.org/W2577367366","https://openalex.org/W2594119292","https://openalex.org/W2725434906","https://openalex.org/W2742515467","https://openalex.org/W2744406816","https://openalex.org/W2762286066","https://openalex.org/W2767549482","https://openalex.org/W2799070761","https://openalex.org/W2810860137","https://openalex.org/W2952017115","https://openalex.org/W2963885243","https://openalex.org/W4302030525"],"related_works":["https://openalex.org/W2046276983","https://openalex.org/W2954002293","https://openalex.org/W2078264086","https://openalex.org/W2164372000","https://openalex.org/W2161582432","https://openalex.org/W2109143577","https://openalex.org/W1972812226","https://openalex.org/W4250391074","https://openalex.org/W1985537075","https://openalex.org/W187383352"],"abstract_inverted_index":{"In-network":[0],"Access":[1],"Control":[2],"List":[3],"(ACL)":[4],"is":[5],"an":[6,80],"important":[7],"technique":[8],"in":[9,21,103,110,120],"ensuring":[10],"network-wide":[11],"connectivity":[12],"and":[13,23,64,87,105,132,158,181],"security.":[14],"As":[15],"cloud-scale":[16],"WANs":[17],"today":[18],"constantly":[19],"evolve":[20],"size":[22],"complexity,":[24],"in-network":[25],"ACL":[26,43,53,68,90,108,130,139],"rules":[27,54],"are":[28,47],"becoming":[29],"increasingly":[30],"more":[31],"complex.":[32],"This":[33,92],"presents":[34,94],"a":[35,66,96,121,153],"great":[36],"challenge":[37],"to":[38,50,59,72,83,118,161,176],"the":[39,85,116,147,164],"updating":[40,107],"process":[41],"of":[42,57,89,149,155,166],"configurations:":[44],"network":[45,73,101],"operators":[46,102,117,172],"frequently":[48],"required":[49],"update":[51,127,140,167,178],"\"tangled\"":[52],"across":[55],"thousands":[56],"devices":[58],"meet":[60],"diverse":[61],"business":[62],"requirements,":[63],"even":[65],"single":[67],"misconfiguration":[69],"may":[70],"lead":[71],"disruptions.":[74],"Such":[75],"increasing":[76],"challenges":[77],"call":[78],"for":[79],"automated":[81],"system":[82,97],"improve":[84],"efficiency":[86],"correctness":[88,165],"updates.":[91],"paper":[93],"Jinjing,":[95,150],"that":[98,142],"aids":[99],"Alibaba's":[100,111],"automatically":[104,137],"correctly":[106],"configurations":[109],"global":[112],"WAN.":[113],"Jinjing":[114,136,175],"allows":[115],"express":[119],"declarative":[122],"language,":[123],"named":[124],"LAI,":[125],"their":[126,144,179],"intent":[128],"(e.g.,":[129],"migration":[131],"traffic":[133],"control).":[134],"Then,":[135],"synthesizes":[138],"plans":[141],"satisfy":[143],"intent.":[145],"At":[146],"heart":[148],"we":[151],"develop":[152],"set":[154],"novel":[156],"verification":[157],"synthesis":[159],"techniques":[160],"rigorously":[162],"guarantee":[163],"plans.":[168],"In":[169],"Alibaba,":[170],"our":[171],"have":[173,182],"used":[174],"efficiently":[177],"ACLs":[180],"thus":[183],"prevented":[184],"significant":[185],"service":[186],"downtime.":[187]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":20},{"year":2023,"cited_by_count":17},{"year":2022,"cited_by_count":12},{"year":2021,"cited_by_count":17},{"year":2020,"cited_by_count":16}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}