{"id":"https://openalex.org/W2211489671","doi":"https://doi.org/10.1109/ictc.2015.7354672","title":"Verification for NFV-enabled network services","display_name":"Verification for NFV-enabled network services","publication_year":2015,"publication_date":"2015-10-01","ids":{"openalex":"https://openalex.org/W2211489671","doi":"https://doi.org/10.1109/ictc.2015.7354672","mag":"2211489671"},"language":"en","primary_location":{"id":"doi:10.1109/ictc.2015.7354672","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ictc.2015.7354672","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 International Conference on Information and Communication Technology Convergence (ICTC)","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/A5069176681","display_name":"Myung-Ki Shin","orcid":"https://orcid.org/0000-0002-2575-9916"},"institutions":[{"id":"https://openalex.org/I142401562","display_name":"Electronics and Telecommunications Research Institute","ror":"https://ror.org/03ysstz10","country_code":"KR","type":"facility","lineage":["https://openalex.org/I142401562","https://openalex.org/I2801339556","https://openalex.org/I4210144908","https://openalex.org/I4387152098"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Myung-Ki Shin","raw_affiliation_strings":["ETRI, Daejeon, Korea"],"affiliations":[{"raw_affiliation_string":"ETRI, Daejeon, Korea","institution_ids":["https://openalex.org/I142401562"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110484857","display_name":"Yun-Chul Choi","orcid":null},"institutions":[{"id":"https://openalex.org/I142401562","display_name":"Electronics and Telecommunications Research Institute","ror":"https://ror.org/03ysstz10","country_code":"KR","type":"facility","lineage":["https://openalex.org/I142401562","https://openalex.org/I2801339556","https://openalex.org/I4210144908","https://openalex.org/I4387152098"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yunchul Choi","raw_affiliation_strings":["ETRI, Daejeon, Korea"],"affiliations":[{"raw_affiliation_string":"ETRI, Daejeon, Korea","institution_ids":["https://openalex.org/I142401562"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033797660","display_name":"Hee Hwan Kwak","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hee Hwan Kwak","raw_affiliation_strings":["SOLiD, Bundang, Korea"],"affiliations":[{"raw_affiliation_string":"SOLiD, Bundang, Korea","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015321839","display_name":"Sangheon Pack","orcid":"https://orcid.org/0000-0002-1085-1568"},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sangheon Pack","raw_affiliation_strings":["Korea University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Korea University, Seoul, Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080758685","display_name":"Miyoung Kang","orcid":"https://orcid.org/0000-0003-2099-6688"},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Miyoung Kang","raw_affiliation_strings":["Korea University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Korea University, Seoul, Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030380431","display_name":"Jin\u2010Young Choi","orcid":"https://orcid.org/0000-0002-8100-7583"},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jin-Young Choi","raw_affiliation_strings":["Korea University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Korea University, Seoul, Korea","institution_ids":["https://openalex.org/I197347611"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5069176681"],"corresponding_institution_ids":["https://openalex.org/I142401562"],"apc_list":null,"apc_paid":null,"fwci":2.3298,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.89975117,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"810","last_page":"815"},"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9858999848365784,"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"}},{"id":"https://openalex.org/T11478","display_name":"Caching and Content Delivery","score":0.98580002784729,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7932350039482117},{"id":"https://openalex.org/keywords/network-functions-virtualization","display_name":"Network Functions Virtualization","score":0.6430913805961609},{"id":"https://openalex.org/keywords/virtual-network","display_name":"Virtual network","score":0.6034695506095886},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.5927740931510925},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5361769795417786},{"id":"https://openalex.org/keywords/network-service","display_name":"Network service","score":0.508941650390625},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.43674027919769287},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.42685067653656006},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.3109869360923767},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21812307834625244}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7932350039482117},{"id":"https://openalex.org/C200789330","wikidata":"https://www.wikidata.org/wiki/Q7000834","display_name":"Network Functions Virtualization","level":3,"score":0.6430913805961609},{"id":"https://openalex.org/C2776874963","wikidata":"https://www.wikidata.org/wiki/Q4112081","display_name":"Virtual network","level":2,"score":0.6034695506095886},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.5927740931510925},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5361769795417786},{"id":"https://openalex.org/C2779618445","wikidata":"https://www.wikidata.org/wiki/Q1640628","display_name":"Network service","level":2,"score":0.508941650390625},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43674027919769287},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.42685067653656006},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.3109869360923767},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21812307834625244},{"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.1109/ictc.2015.7354672","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ictc.2015.7354672","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 International Conference on Information and Communication Technology Convergence (ICTC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6399999856948853,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1697123834","https://openalex.org/W1858778961","https://openalex.org/W1882012874","https://openalex.org/W2034717157","https://openalex.org/W2073802793","https://openalex.org/W2123372830","https://openalex.org/W2136439543","https://openalex.org/W2136930733","https://openalex.org/W2149236835","https://openalex.org/W2901823013","https://openalex.org/W4234045312","https://openalex.org/W4248429016","https://openalex.org/W4296471858","https://openalex.org/W6637389031","https://openalex.org/W6639592347","https://openalex.org/W6756906074"],"related_works":["https://openalex.org/W2215777439","https://openalex.org/W2970287926","https://openalex.org/W2507951961","https://openalex.org/W2680924284","https://openalex.org/W3208351938","https://openalex.org/W3024274804","https://openalex.org/W4312694062","https://openalex.org/W2987627910","https://openalex.org/W2779129381","https://openalex.org/W2787140710"],"abstract_inverted_index":{"Network":[0],"Functions":[1],"Virtualization":[2],"(NFV)":[3],"offers":[4],"a":[5,46,120,133],"new":[6],"way":[7],"to":[8,23,36,44,99,108,112,131,144,162],"design,":[9],"deploy":[10],"and":[11,38,52,68,146,156],"manage":[12],"network":[13,17,41,65,97,126,138,160,165],"services.":[14,127],"NFV":[15,85,148,168],"relocates":[16],"functions":[18,66],"from":[19],"dedicated":[20],"hardware":[21],"appliances":[22],"generic":[24],"servers,":[25],"so":[26,170],"they":[27,172],"can":[28,141,173],"run":[29],"in":[30,167],"software.":[31],"Also,":[32],"it":[33,154],"is":[34,130],"designed":[35],"consolidate":[37],"deliver":[39],"the":[40,79,96,137,177],"components":[42],"needed":[43],"support":[45],"virtualized":[47,64],"infrastructure":[48],"including":[49],"virtual":[50],"servers":[51],"storage,":[53],"as":[54,56],"well":[55],"networks.":[57],"However,":[58],"incomplete":[59],"or":[60],"inconsistent":[61],"configuration":[62],"of":[63,78,84,89,122],"(VNF)":[67],"forwarding":[69],"graph":[70],"(FG,":[71],"aka":[72],"service":[73],"chain)":[74],"could":[75],"cause":[76],"breakdown":[77],"supporting":[80],"infrastructure.":[81],"Moreover,":[82],"automation":[83],"process":[86],"with":[87],"integration":[88],"Software-Defined":[90],"Networking":[91],"(SDN)":[92],"technologies":[93],"may":[94],"lead":[95],"services":[98,139,166],"be":[100,113,142,174],"more":[101,157],"error-prone.":[102],"Recognizing":[103],"these":[104],"problems,":[105],"we":[106,118],"need":[107],"identify":[109],"key":[110],"properties":[111,178],"checked.":[114],"In":[115],"this":[116,151],"article,":[117],"present":[119],"framework":[121],"verification":[123],"for":[124,136,159],"NFV-enabled":[125],"Its":[128],"goal":[129],"provide":[132],"formal":[134],"method":[135,152],"that":[140,171,176],"used":[143],"build":[145],"verify":[147],"components.":[149],"Overall,":[150],"makes":[153],"safer":[155],"reliable":[158],"operators":[161],"compose":[163],"their":[164],"environment,":[169],"assured":[175],"are":[179],"correctly":[180],"enforced.":[181]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}