{"id":"https://openalex.org/W7147289191","doi":"https://doi.org/10.47672/ajce.2889","title":"Cloud Data-Center Network Verification: Approaches, Algorithms and Toolchains","display_name":"Cloud Data-Center Network Verification: Approaches, Algorithms and Toolchains","publication_year":2023,"publication_date":"2023-10-27","ids":{"openalex":"https://openalex.org/W7147289191","doi":"https://doi.org/10.47672/ajce.2889"},"language":"en","primary_location":{"id":"doi:10.47672/ajce.2889","doi":"https://doi.org/10.47672/ajce.2889","is_oa":true,"landing_page_url":"https://doi.org/10.47672/ajce.2889","pdf_url":"https://ajpojournals.org/journals/AJCE/article/download/2889/4357","source":{"id":"https://openalex.org/S4220651698","display_name":"American Journal of Computing and Engineering","issn_l":"2790-5586","issn":["2790-5586"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"American Journal of Computing and Engineering","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ajpojournals.org/journals/AJCE/article/download/2889/4357","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5118605932","display_name":"Harsha Vardhan Reddy Kavuluri","orcid":"https://orcid.org/0009-0005-6003-6464","observed_orcids":["https://orcid.org/0009-0005-6003-6464"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Harsha Vardhan Reddy Kavuluri","raw_affiliation_strings":["Wissen infotech Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Wissen infotech Inc","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130768387","display_name":"Akhil Kumar Pathani","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Akhil Kumar Pathani","raw_affiliation_strings":["Ebay"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ebay","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130796872","display_name":"Ajay Dasari","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ajay Dasari","raw_affiliation_strings":["Microsoft"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130770564","display_name":"Venkata Kishore Chilakapati","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Venkata Kishore Chilakapati","raw_affiliation_strings":["Microsoft"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123599385","display_name":"Srikanth Reddy Keshireddy","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Srikanth Reddy Keshireddy","raw_affiliation_strings":["Keen Info Tek Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Keen Info Tek Inc","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5130812102","display_name":"Venkata Teja Nagumotu","orcid":"https://orcid.org/0009-0007-7190-3249","observed_orcids":["https://orcid.org/0009-0007-7190-3249"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Venkata Teja Nagumotu","raw_affiliation_strings":["Techno-bytes Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Techno-bytes Inc","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.286576,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"2","first_page":"18","last_page":"30"},"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.6279000043869019,"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.6279000043869019,"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/T10142","display_name":"Formal Methods in Verification","score":0.2304999977350235,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.02199999988079071,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/cloud-data-center-networks","display_name":"cloud data center networks","score":0.9760000109672546},{"id":"https://openalex.org/keywords/network-verification","display_name":"network verification","score":0.9760000109672546},{"id":"https://openalex.org/keywords/static-verification","display_name":"static verification","score":0.8299999833106995},{"id":"https://openalex.org/keywords/dynamic-verification","display_name":"dynamic verification","score":0.9599999785423279},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"runtime verification","score":0.996999979019165},{"id":"https://openalex.org/keywords/smt-based-verification","display_name":"SMT-based verification","score":0.6909999847412109},{"id":"https://openalex.org/keywords/sat-based-verification","display_name":"SAT-based verification","score":0.8320000171661377},{"id":"https://openalex.org/keywords/graph-analysis","display_name":"graph analysis","score":0.9200000166893005},{"id":"https://openalex.org/keywords/misconfiguration-detection","display_name":"misconfiguration detection","score":0.9959999918937683},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"symbolic execution","score":0.7900000214576721},{"id":"https://openalex.org/keywords/access-control","display_name":"access control","score":0.9350000023841858},{"id":"https://openalex.org/keywords/network-security","display_name":"network security","score":0.6380000114440918},{"id":"https://openalex.org/keywords/tool-chain","display_name":"toolchain","score":0.5580000281333923},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"software-defined networking","score":0.859000027179718}],"concepts":[{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.853600025177002},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8019000291824341},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7351999878883362},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5527999997138977},{"id":"https://openalex.org/C48105269","wikidata":"https://www.wikidata.org/wiki/Q1141160","display_name":"Header","level":2,"score":0.5153999924659729},{"id":"https://openalex.org/C153740404","wikidata":"https://www.wikidata.org/wiki/Q671224","display_name":"Data center","level":2,"score":0.48510000109672546},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.43790000677108765},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.38940000534057617},{"id":"https://openalex.org/C197298091","wikidata":"https://www.wikidata.org/wiki/Q5318963","display_name":"Dynamic data","level":2,"score":0.3418999910354614},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.3345000147819519},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C77714075","wikidata":"https://www.wikidata.org/wiki/Q5452017","display_name":"Firewall (physics)","level":5,"score":0.3239000141620636},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.321399986743927},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.31360000371932983},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.313400000333786},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.3061999976634979},{"id":"https://openalex.org/C120115606","wikidata":"https://www.wikidata.org/wiki/Q5135723","display_name":"Cloud testing","level":4,"score":0.2897999882698059},{"id":"https://openalex.org/C10511746","wikidata":"https://www.wikidata.org/wiki/Q899388","display_name":"Data security","level":3,"score":0.2809000015258789},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2757999897003174},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2728999853134155},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2671999931335449},{"id":"https://openalex.org/C182590292","wikidata":"https://www.wikidata.org/wiki/Q989632","display_name":"Network security","level":2,"score":0.2669000029563904},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.2667999863624573},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C2776874963","wikidata":"https://www.wikidata.org/wiki/Q4112081","display_name":"Virtual network","level":2,"score":0.25679999589920044},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.25110000371932983}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.47672/ajce.2889","doi":"https://doi.org/10.47672/ajce.2889","is_oa":true,"landing_page_url":"https://doi.org/10.47672/ajce.2889","pdf_url":"https://ajpojournals.org/journals/AJCE/article/download/2889/4357","source":{"id":"https://openalex.org/S4220651698","display_name":"American Journal of Computing and Engineering","issn_l":"2790-5586","issn":["2790-5586"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"American Journal of Computing and Engineering","raw_type":"journal-article"},{"id":"pmh:oai:ajpojournals.org/journals:article/2889","doi":null,"is_oa":true,"landing_page_url":"https://ajpojournals.org/journals/AJCE/article/view/2889","pdf_url":"https://ajpojournals.org/journals/AJCE/article/download/2889/4359","source":{"id":"https://openalex.org/S4220651698","display_name":"American Journal of Computing and Engineering","issn_l":"2790-5586","issn":["2790-5586"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2790-5586","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.47672/ajce.2889","doi":"https://doi.org/10.47672/ajce.2889","is_oa":true,"landing_page_url":"https://doi.org/10.47672/ajce.2889","pdf_url":"https://ajpojournals.org/journals/AJCE/article/download/2889/4357","source":{"id":"https://openalex.org/S4220651698","display_name":"American Journal of Computing and Engineering","issn_l":"2790-5586","issn":["2790-5586"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"American Journal of Computing and Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7147289191.pdf","grobid_xml":"https://content.openalex.org/works/W7147289191.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W1488914763","https://openalex.org/W1976414784","https://openalex.org/W2029349492","https://openalex.org/W2047824738","https://openalex.org/W2090502325","https://openalex.org/W2180920572","https://openalex.org/W2244364020","https://openalex.org/W2293507008","https://openalex.org/W2344146069","https://openalex.org/W2516477161","https://openalex.org/W2571893636","https://openalex.org/W2744660401","https://openalex.org/W2745621523","https://openalex.org/W2754731976","https://openalex.org/W2773646351","https://openalex.org/W2791671434","https://openalex.org/W2889227506","https://openalex.org/W2890042510","https://openalex.org/W2891991708","https://openalex.org/W2926903444","https://openalex.org/W2990662346","https://openalex.org/W3015425411","https://openalex.org/W6911875446"],"related_works":["https://openalex.org/W2968149030","https://openalex.org/W7206200777","https://openalex.org/W1929337928","https://openalex.org/W2376791509","https://openalex.org/W1983508610","https://openalex.org/W7106730256","https://openalex.org/W2528188859","https://openalex.org/W2048855209","https://openalex.org/W4285272065","https://openalex.org/W4200244925"],"abstract_inverted_index":{"The":[0,77,135],"Cloud":[1],"data":[2,67],"center":[3,68],"networks":[4],"are":[5,92,179],"the":[6,9,30,52,139,162],"foundation":[7],"of":[8,51,62,142,169],"modern":[10],"cloud":[11,33,66,173],"computing":[12],"since":[13],"they":[14],"allow":[15],"access":[16,159],"to":[17,83,124,155,181],"distributed":[18],"virtualized":[19],"resources":[20],"on":[21,147],"demand,":[22],"at":[23,26],"scale,":[24],"and":[25,49,73,87,103,111,120,129,145,152,158,166,175,185],"reasonable":[27],"costs.":[28],"With":[29],"rapidly":[31],"rising":[32],"services,":[34],"however,":[35],"new":[36],"serious":[37],"concerns":[38],"have":[39],"arisen":[40],"that":[41,79],"were":[42],"associated":[43],"with":[44],"energy":[45],"consumption,":[46],"security,":[47],"correctness,":[48],"reliability":[50],"large-scale":[53],"networked":[54],"infrastructures.":[55],"This":[56],"paper":[57,136],"gives":[58],"a":[59],"detailed":[60],"analysis":[61],"verification":[63,75],"methods":[64,123],"in":[65],"networks,":[69],"including":[70],"static,":[71],"dynamic":[72,110,126],"runtime":[74,112],"methods.":[76],"techniques":[78,96],"can":[80],"be":[81],"used":[82],"identify":[84],"configuration":[85],"errors":[86,89],"policy":[88],"before":[90],"implementation":[91],"discussed":[93],"as":[94,115],"static":[95],"like":[97],"header":[98],"space":[99],"analysis,":[100],"SMT/SAT-based":[101],"verification,":[102,117],"graph-based":[104],"analysis.":[105],"It":[106],"is":[107],"examined":[108,180],"using":[109],"methods,":[113],"such":[114],"telemetry-based":[116],"invariant":[118],"mining":[119],"misconfiguration":[121],"detection":[122],"handle":[125],"network":[127],"behaviors":[128],"security":[130],"threats":[131],"over":[132],"operational":[133],"settings.":[134],"also":[137],"covers":[138],"theoretical":[140],"base":[141],"these":[143],"techniques,":[144],"focus":[146],"SMT":[148],"solvers,":[149],"symbolic":[150],"execution,":[151],"logical":[153],"attestation":[154],"enforce":[156],"correctness":[157],"control.":[160],"Moreover,":[161],"achieved":[163],"tools":[164],"chains":[165],"real-life":[167],"applications":[168],"academic":[170],"literature,":[171],"industry":[172],"vendors,":[174],"open-source":[176],"SDN":[177],"environments":[178],"reflect":[182],"their":[183],"strengths":[184],"weaknesses.":[186]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-04-02T00:00:00"}