{"id":"https://openalex.org/W3096976446","doi":"https://doi.org/10.1109/tnet.2020.3028846","title":"vSFC: Generic and Agile Verification of Service Function Chains in the Cloud","display_name":"vSFC: Generic and Agile Verification of Service Function Chains in the Cloud","publication_year":2020,"publication_date":"2020-10-27","ids":{"openalex":"https://openalex.org/W3096976446","doi":"https://doi.org/10.1109/tnet.2020.3028846","mag":"3096976446"},"language":"en","primary_location":{"id":"doi:10.1109/tnet.2020.3028846","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2020.3028846","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/A5100404567","display_name":"Xiaoli Zhang","orcid":"https://orcid.org/0000-0002-5255-2216"},"institutions":[{"id":"https://openalex.org/I4210156423","display_name":"National Engineering Research Center for Information Technology in Agriculture","ror":"https://ror.org/04c3j3t84","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210156423"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoli Zhang","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","Beijing National Research Center for Information Science and Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-5255-2216","affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Beijing National Research Center for Information Science and Technology, Beijing, China","institution_ids":["https://openalex.org/I4210156423"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100350165","display_name":"Qi Li","orcid":"https://orcid.org/0000-0001-8776-8730"},"institutions":[{"id":"https://openalex.org/I4210156423","display_name":"National Engineering Research Center for Information Technology in Agriculture","ror":"https://ror.org/04c3j3t84","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210156423"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qi Li","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","Beijing National Research Center for Information Science and Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-8776-8730","affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Beijing National Research Center for Information Science and Technology, Beijing, China","institution_ids":["https://openalex.org/I4210156423"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zeyu Zhang","orcid":"https://orcid.org/0000-0003-1582-9594"},"institutions":[{"id":"https://openalex.org/I4210156423","display_name":"National Engineering Research Center for Information Technology in Agriculture","ror":"https://ror.org/04c3j3t84","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210156423"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zeyu Zhang","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","Beijing National Research Center for Information Science and Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-1582-9594","affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Beijing National Research Center for Information Science and Technology, Beijing, China","institution_ids":["https://openalex.org/I4210156423"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101410279","display_name":"Jianping Wu","orcid":"https://orcid.org/0009-0001-5395-4292"},"institutions":[{"id":"https://openalex.org/I4210156423","display_name":"National Engineering Research Center for Information Technology in Agriculture","ror":"https://ror.org/04c3j3t84","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210156423"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianping Wu","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","Beijing National Research Center for Information Science and Technology, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Beijing National Research Center for Information Science and Technology, Beijing, China","institution_ids":["https://openalex.org/I4210156423"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023416195","display_name":"Jiahai Yang","orcid":"https://orcid.org/0000-0001-6109-6737"},"institutions":[{"id":"https://openalex.org/I4210156423","display_name":"National Engineering Research Center for Information Technology in Agriculture","ror":"https://ror.org/04c3j3t84","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210156423"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiahai Yang","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","Beijing National Research Center for Information Science and Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6109-6737","affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Beijing National Research Center for Information Science and Technology, Beijing, China","institution_ids":["https://openalex.org/I4210156423"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0819,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.79909672,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":98},"biblio":{"volume":"29","issue":"1","first_page":"78","last_page":"91"},"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.9998999834060669,"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.9998999834060669,"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.9994999766349792,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.7389795184135437},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.7043047547340393},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5978071689605713},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5809901356697083},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5609658360481262},{"id":"https://openalex.org/keywords/linux-kernel","display_name":"Linux kernel","score":0.5155977606773376},{"id":"https://openalex.org/keywords/outsourcing","display_name":"Outsourcing","score":0.5061022639274597},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.47979074716567993},{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.4668968617916107},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.4531247913837433},{"id":"https://openalex.org/keywords/agile-software-development","display_name":"Agile software development","score":0.44057974219322205},{"id":"https://openalex.org/keywords/virtual-network","display_name":"Virtual network","score":0.4216918349266052},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40083158016204834},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3607412576675415},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.26789045333862305},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2667196989059448},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.22340255975723267},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.09077438712120056}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7389795184135437},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.7043047547340393},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5978071689605713},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5809901356697083},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5609658360481262},{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.5155977606773376},{"id":"https://openalex.org/C46934059","wikidata":"https://www.wikidata.org/wiki/Q61515","display_name":"Outsourcing","level":2,"score":0.5061022639274597},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.47979074716567993},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.4668968617916107},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.4531247913837433},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.44057974219322205},{"id":"https://openalex.org/C2776874963","wikidata":"https://www.wikidata.org/wiki/Q4112081","display_name":"Virtual network","level":2,"score":0.4216918349266052},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40083158016204834},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3607412576675415},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.26789045333862305},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2667196989059448},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.22340255975723267},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.09077438712120056},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnet.2020.3028846","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2020.3028846","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/G6827592809","display_name":"\u8f6f\u4ef6\u5b9a\u4e49\u7684\u7f51\u7edc\u9632\u5fa1\u7406\u8bba\u548c\u6280\u672f\u7814\u7a76","funder_award_id":"61572278","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":55,"referenced_works":["https://openalex.org/W49496018","https://openalex.org/W1604234259","https://openalex.org/W1675033504","https://openalex.org/W1858287302","https://openalex.org/W1882012874","https://openalex.org/W1967074206","https://openalex.org/W1967949770","https://openalex.org/W1974918169","https://openalex.org/W1988150362","https://openalex.org/W2005882979","https://openalex.org/W2006435204","https://openalex.org/W2032401773","https://openalex.org/W2054820097","https://openalex.org/W2062805799","https://openalex.org/W2084915558","https://openalex.org/W2085942327","https://openalex.org/W2096118443","https://openalex.org/W2099995703","https://openalex.org/W2102881299","https://openalex.org/W2126969025","https://openalex.org/W2130367949","https://openalex.org/W2131431269","https://openalex.org/W2134562942","https://openalex.org/W2142972529","https://openalex.org/W2148177824","https://openalex.org/W2150228605","https://openalex.org/W2260783129","https://openalex.org/W2289096564","https://openalex.org/W2306714220","https://openalex.org/W2308109111","https://openalex.org/W2511521491","https://openalex.org/W2561240722","https://openalex.org/W2575735093","https://openalex.org/W2731182695","https://openalex.org/W2789780249","https://openalex.org/W2790712558","https://openalex.org/W2794291993","https://openalex.org/W2799154389","https://openalex.org/W2887655564","https://openalex.org/W2920793298","https://openalex.org/W2963099222","https://openalex.org/W2963885243","https://openalex.org/W2997947960","https://openalex.org/W4250493029","https://openalex.org/W6601982808","https://openalex.org/W6636118494","https://openalex.org/W6637274776","https://openalex.org/W6639046151","https://openalex.org/W6639592347","https://openalex.org/W6682144364","https://openalex.org/W6697538429","https://openalex.org/W6698042110","https://openalex.org/W6719622580","https://openalex.org/W6732525005","https://openalex.org/W6751063601"],"related_works":["https://openalex.org/W2358200898","https://openalex.org/W2325765407","https://openalex.org/W618293728","https://openalex.org/W2291845669","https://openalex.org/W2788012436","https://openalex.org/W200604156","https://openalex.org/W4231184955","https://openalex.org/W2374784346","https://openalex.org/W4286615217","https://openalex.org/W3154723744"],"abstract_inverted_index":{"With":[0],"the":[1,13,42,94,144],"advent":[2],"of":[3,44,96,109,148,157],"network":[4,9],"function":[5,67],"virtualization":[6],"(NFV),":[7],"outsourcing":[8,40],"functions":[10],"(NFs)":[11],"to":[12,74,91,132,140],"cloud":[14,134],"is":[15,124],"becoming":[16],"increasingly":[17],"popular":[18],"for":[19,26],"enterprises":[20,46],"since":[21],"it":[22,103,123],"brings":[23],"significant":[24],"benefits":[25],"NF":[27,39,48],"deployment":[28,49],"and":[29,35,50,64,118,126,146,163],"maintenance,":[30],"such":[31],"as":[32],"improved":[33],"scalability":[34],"reduced":[36],"overhead.":[37,183],"However,":[38],"limits":[41],"control":[43],"customer":[45],"over":[47],"management,":[51],"consequently":[52],"raising":[53],"serious":[54],"security":[55],"concerns.":[56],"Enterprises":[57],"cannot":[58],"ensure":[59],"whether":[60],"their":[61,75],"outsourced":[62],"NFs":[63],"associated":[65],"service":[66],"chains":[68],"(SFCs)":[69],"are":[70],"correctly":[71],"enforced":[72],"according":[73],"specifications.":[76],"In":[77],"this":[78],"paper,":[79],"we":[80,150],"propose":[81],"vSFC,":[82,149],"an":[83,89],"SFC":[84,97,110,179],"verification":[85],"scheme":[86],"that":[87,174],"allows":[88],"enterprise":[90],"accurately":[92,177],"verify":[93],"correctness":[95],"enforcement":[98],"in":[99],"real":[100,168],"time.":[101],"Specifically,":[102],"can":[104,129,176],"detect":[105,178],"a":[106,152],"wide":[107],"range":[108],"violations":[111,180],"including":[112],"forwarding":[113],"path":[114],"incompliance,":[115],"packet":[116],"dropping,":[117],"flow":[119],"dropping":[120],"attacks.":[121],"Meanwhile,":[122],"generic":[125],"agile,":[127],"which":[128],"be":[130],"applied":[131],"arbitrary":[133],"architectures":[135],"without":[136],"requiring":[137],"any":[138],"modification":[139],"NFs.":[141],"To":[142],"demonstrate":[143],"feasibility":[145],"performance":[147],"implement":[151],"vSFC":[153,175],"prototype":[154],"on":[155],"top":[156],"Linux":[158],"kernel-based":[159],"virtual":[160],"machines":[161],"(KVM)":[162],"conduct":[164],"extensive":[165],"experiments":[166],"with":[167,181],"traffic.":[169],"The":[170],"experimental":[171],"results":[172],"show":[173],"negligible":[182]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}