{"id":"https://openalex.org/W4399417052","doi":"https://doi.org/10.1109/tnet.2024.3409529","title":"Fast and Scalable ACL Policy Solving Under Complex Constraints With Graph Neural Networks","display_name":"Fast and Scalable ACL Policy Solving Under Complex Constraints With Graph Neural Networks","publication_year":2024,"publication_date":"2024-06-06","ids":{"openalex":"https://openalex.org/W4399417052","doi":"https://doi.org/10.1109/tnet.2024.3409529"},"language":"en","primary_location":{"id":"doi:10.1109/tnet.2024.3409529","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tnet.2024.3409529","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Networking","raw_type":"journal-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/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":true,"raw_author_name":"Haifeng Sun","raw_affiliation_strings":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111222549","display_name":"Xingjian Liao","orcid":"https://orcid.org/0000-0002-2361-2080"},"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":"Xingjian Liao","raw_affiliation_strings":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, 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":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, 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":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, 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":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","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":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001469325","display_name":"Dapeng Wu","orcid":"https://orcid.org/0000-0003-1755-0183"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Dapeng Oliver Wu","raw_affiliation_strings":["Department of Computer Science, City University of Hong Kong, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I168719708"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5008194128"],"corresponding_institution_ids":["https://openalex.org/I139759216"],"apc_list":null,"apc_paid":null,"fwci":1.4119,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.82539354,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"32","issue":"5","first_page":"4175","last_page":"4190"},"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.9915000200271606,"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.9915000200271606,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9854999780654907,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9668999910354614,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5636880397796631},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5477955341339111},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4753037393093109},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.46299514174461365},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32998353242874146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.28909504413604736},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.06328436732292175}],"concepts":[{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5636880397796631},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5477955341339111},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4753037393093109},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.46299514174461365},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32998353242874146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28909504413604736},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.06328436732292175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnet.2024.3409529","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/tnet.2024.3409529","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Networking","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3473387614","display_name":null,"funder_award_id":"62101064","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3591376991","display_name":null,"funder_award_id":"62171057","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3800536456","display_name":null,"funder_award_id":"U23B2001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3829840669","display_name":null,"funder_award_id":"MCM20200202","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4196386516","display_name":null,"funder_award_id":"MCM20180101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4300471285","display_name":null,"funder_award_id":"62001054","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8615917232","display_name":null,"funder_award_id":"62201072","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W167199924","https://openalex.org/W1480909796","https://openalex.org/W1997199359","https://openalex.org/W2000680379","https://openalex.org/W2028191548","https://openalex.org/W2036265926","https://openalex.org/W2056124433","https://openalex.org/W2061520403","https://openalex.org/W2117180635","https://openalex.org/W2118404561","https://openalex.org/W2120255160","https://openalex.org/W2130664853","https://openalex.org/W2159743750","https://openalex.org/W2163132346","https://openalex.org/W2296227987","https://openalex.org/W2391555403","https://openalex.org/W2552298303","https://openalex.org/W2566236972","https://openalex.org/W2742515467","https://openalex.org/W2767549482","https://openalex.org/W2809729522","https://openalex.org/W2907492528","https://openalex.org/W2947477336","https://openalex.org/W2963382544","https://openalex.org/W2964051675","https://openalex.org/W2968168257","https://openalex.org/W2979844528","https://openalex.org/W2997090216","https://openalex.org/W3000806426","https://openalex.org/W3037471945","https://openalex.org/W3096713580","https://openalex.org/W3109296341","https://openalex.org/W3154419433","https://openalex.org/W3184772779","https://openalex.org/W3188522200","https://openalex.org/W3192763327","https://openalex.org/W3198505789","https://openalex.org/W4241598686","https://openalex.org/W4285138720","https://openalex.org/W4285279023","https://openalex.org/W4286571643","https://openalex.org/W4308632443","https://openalex.org/W4309224635","https://openalex.org/W4309227924","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/W2389214306","https://openalex.org/W4396696052","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Network":[0],"operators":[1],"often":[2],"need":[3],"to":[4,11,14,50,73,78,123,168,195,226],"modify":[5],"Access":[6],"Control":[7],"List":[8],"(ACL)":[9],"policies":[10,88],"align":[12],"with":[13,207,218],"network":[15,209,229],"upgrades.":[16,230],"An":[17],"essential":[18],"part":[19],"of":[20,36,86,93,153],"the":[21,63,67,91,125,131,135,145,174,208],"ACL":[22,87,111,156],"update":[23,136,157],"task":[24],"is":[25,166],"reachability":[26,31],"satisfaction.":[27],"Previous":[28],"studies":[29],"formalize":[30],"requirements":[32,68,220],"as":[33,55,97],"a":[34,80,94,104,200],"set":[35],"constraints":[37,64],"and":[38,61,99,109,129,203,221],"then":[39],"use":[40],"Boolean":[41],"Satisfiability":[42,45],"(SAT)":[43],"or":[44],"Modulo":[46],"Theories":[47],"(SMT)":[48],"solvers":[49,198],"search":[51,164],"for":[52,107,150],"solutions.":[53],"However,":[54],"today\u2019s":[56],"networks":[57],"grow":[58],"in":[59,155],"size":[60],"complexity,":[62],"derived":[65],"from":[66],"become":[69],"increasingly":[70],"complex,":[71],"leading":[72],"an":[74,160],"unacceptable":[75],"time":[76,192],"cost":[77],"obtain":[79],"correct":[81],"policy.":[82],"The":[83],"sluggish":[84],"updating":[85],"can":[89],"affect":[90],"properties":[92],"network,":[95,202],"such":[96],"connectivity":[98],"security.":[100],"This":[101],"paper":[102],"presents":[103],"novel":[105],"approach":[106],"fast":[108],"scalable":[110],"policy":[112],"synthesis":[113],"under":[114],"complex":[115],"constraints.":[116],"We":[117,138],"utilize":[118],"Graph":[119],"Neural":[120],"Networks":[121],"(GNNs)":[122],"learn":[124],"relations":[126],"between":[127],"nodes":[128,154],"reason":[130],"solution":[132],"that":[133,181],"satisfies":[134],"requirements.":[137],"further":[139],"integrate":[140],"global":[141],"position":[142],"encoding":[143],"into":[144],"GNN":[146,182],"architecture,":[147],"which":[148],"allows":[149],"better":[151],"differentiation":[152],"tasks.":[158],"Additionally,":[159],"enhanced":[161],"stochastic":[162],"local":[163],"solver":[165],"introduced":[167],"address":[169],"incorrect":[170],"predictions":[171],"made":[172],"by":[173],"GNN.":[175],"Experiments":[176],"on":[177,199],"real-world":[178],"topologies":[179],"show":[180],"saves":[183],"up":[184],"<inline-formula":[185],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[186],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[187],"<tex-math":[188],"notation=\"LaTeX\">$278\\times":[189],"$":[190],"</tex-math></inline-formula>":[191],"costs":[193],"compared":[194],"advanced":[196],"SAT/SMT":[197],"125-node":[201],"this":[204],"advantage":[205],"expands":[206],"size.":[210],"Furthermore,":[211],"our":[212],"model":[213],"extrapolates":[214],"well":[215],"when":[216],"faced":[217],"different":[219],"topologies,":[222],"demonstrating":[223],"its":[224],"ability":[225],"handle":[227],"frequent":[228]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}