{"id":"https://openalex.org/W2773412552","doi":"https://doi.org/10.1109/tnsm.2017.2780265","title":"Efficient Action Computation for Compositional SDN Policies","display_name":"Efficient Action Computation for Compositional SDN Policies","publication_year":2017,"publication_date":"2017-12-06","ids":{"openalex":"https://openalex.org/W2773412552","doi":"https://doi.org/10.1109/tnsm.2017.2780265","mag":"2773412552"},"language":"en","primary_location":{"id":"doi:10.1109/tnsm.2017.2780265","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2017.2780265","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"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 Transactions on Network and Service Management","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/A5058593618","display_name":"Heng Pan","orcid":"https://orcid.org/0000-0002-5506-5958"},"institutions":[{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["BE","CN"],"is_corresponding":false,"raw_author_name":"Heng Pan","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Li\u00e9ge, Liege, Belgium","State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Science, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Li\u00e9ge, Liege, Belgium","institution_ids":["https://openalex.org/I157674565"]},{"raw_affiliation_string":"State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Science, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100330785","display_name":"Zhenyu Li","orcid":"https://orcid.org/0000-0003-4117-8772"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenyu Li","raw_affiliation_strings":["State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030689390","display_name":"Gaogang Xie","orcid":"https://orcid.org/0000-0003-4964-1135"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gaogang Xie","raw_affiliation_strings":["State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100725390","display_name":"Peng He","orcid":"https://orcid.org/0000-0002-7472-9529"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng He","raw_affiliation_strings":["State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102155958","display_name":"Hongtao Guan","orcid":"https://orcid.org/0009-0007-3290-4767"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongtao Guan","raw_affiliation_strings":["State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113657162","display_name":"Laurent Mathy","orcid":null},"institutions":[{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Laurent Mathy","raw_affiliation_strings":["University of Li\u00e9ge, Liege, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Li\u00e9ge, Liege, Belgium","institution_ids":["https://openalex.org/I157674565"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5882,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7678231,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"15","issue":"1","first_page":"387","last_page":"401"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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":1.0,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9975000023841858,"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.9961000084877014,"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.8835400342941284},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6961929798126221},{"id":"https://openalex.org/keywords/concatenation","display_name":"Concatenation (mathematics)","score":0.6426639556884766},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5462472438812256},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4575348198413849},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.44139599800109863},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.43682968616485596},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.435888409614563},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16938868165016174}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8835400342941284},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6961929798126221},{"id":"https://openalex.org/C87619178","wikidata":"https://www.wikidata.org/wiki/Q126002","display_name":"Concatenation (mathematics)","level":2,"score":0.6426639556884766},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5462472438812256},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4575348198413849},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.44139599800109863},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.43682968616485596},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.435888409614563},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16938868165016174},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnsm.2017.2780265","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2017.2780265","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"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 Transactions on Network and Service Management","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1024725572","display_name":null,"funder_award_id":"61502462","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4465902506","display_name":null,"funder_award_id":"61502458","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8816886166","display_name":"\u5ba2\u6237\u7aef\u65e0\u5173\u7684\u79fb\u52a8TCP\u6027\u80fd\u5206\u6790\u548c\u4f18\u5316","funder_award_id":"61572475","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W73629738","https://openalex.org/W1590488181","https://openalex.org/W1675033504","https://openalex.org/W1792894036","https://openalex.org/W2007346406","https://openalex.org/W2011316745","https://openalex.org/W2021234005","https://openalex.org/W2022758041","https://openalex.org/W2028926203","https://openalex.org/W2036114538","https://openalex.org/W2040340473","https://openalex.org/W2047339217","https://openalex.org/W2062198789","https://openalex.org/W2064113406","https://openalex.org/W2074710925","https://openalex.org/W2099501333","https://openalex.org/W2112867573","https://openalex.org/W2125560635","https://openalex.org/W2126926261","https://openalex.org/W2130210899","https://openalex.org/W2134519279","https://openalex.org/W2147118406","https://openalex.org/W2163593754","https://openalex.org/W2164905748","https://openalex.org/W2186961980","https://openalex.org/W2433806211","https://openalex.org/W2443299711","https://openalex.org/W2548550310","https://openalex.org/W4253731216","https://openalex.org/W4372046852","https://openalex.org/W6635205284","https://openalex.org/W6637274776","https://openalex.org/W6638359055","https://openalex.org/W6684118736","https://openalex.org/W6686885839"],"related_works":["https://openalex.org/W2373577936","https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W3095575180","https://openalex.org/W2404647514","https://openalex.org/W2389596151","https://openalex.org/W4221148444","https://openalex.org/W4247536566","https://openalex.org/W4226054107","https://openalex.org/W1524101012"],"abstract_inverted_index":{"Software-defined":[0],"networking":[1],"envisions":[2],"the":[3,11,26,35,47,51,60,96,120,125],"support":[4],"of":[5,15,28,39,62,87,110],"multiple":[6],"applications":[7,16],"collaboratively":[8],"operating":[9],"on":[10,59],"same":[12],"traffic.":[13],"Policies":[14],"therefore":[17],"require":[18],"composition":[19,40,61,98,109],"into":[20,119],"a":[21],"rule":[22],"list":[23],"that":[24,77],"represents":[25],"union":[27],"application":[29],"intents.":[30],"In":[31],"this":[32,75,92],"context,":[33],"ensuring":[34],"correctness":[36],"and":[37,65,85,100,124],"efficiency":[38],"for":[41,69,131],"match":[42,63],"fields":[43,64],"as":[44,46],"well":[45],"associated":[48],"actions":[49],"is":[50],"fundamental":[52],"requirement.":[53],"Prior":[54],"work":[55],"however":[56],"focuses":[57],"only":[58],"assumes":[66],"simple":[67,78],"concatenation":[68,79],"action":[70,97,111],"composition.":[71],"We":[72],"show":[73,128],"in":[74,82],"paper":[76],"can":[80],"result":[81],"incorrect":[83],"behavior":[84],"inefficiency":[86],"packet":[88],"processing.":[89],"To":[90],"address":[91],"issue,":[93],"we":[94],"formalize":[95],"problem":[99],"propose":[101],"two":[102],"graph-based":[103],"computation":[104],"models":[105],"to":[106],"facilitate":[107],"efficient":[108],"lists.":[112],"Our":[113],"proposed":[114],"approach":[115],"has":[116],"been":[117],"integrated":[118],"CoVisor":[121],"code":[122],"base":[123],"evaluation":[126],"results":[127],"its":[129],"fitness":[130],"purpose.":[132]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}