{"id":"https://openalex.org/W2511099227","doi":"https://doi.org/10.1109/lanman.2016.7548840","title":"OpenStack networking for humans: Symbolic execution to the rescue","display_name":"OpenStack networking for humans: Symbolic execution to the rescue","publication_year":2016,"publication_date":"2016-06-01","ids":{"openalex":"https://openalex.org/W2511099227","doi":"https://doi.org/10.1109/lanman.2016.7548840","mag":"2511099227"},"language":"en","primary_location":{"id":"doi:10.1109/lanman.2016.7548840","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lanman.2016.7548840","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN)","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/A5059623051","display_name":"Radu Stoenescu","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":true,"raw_author_name":"Radu Stoenescu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102044494","display_name":"Drago\u0219 Dumitrescu","orcid":null},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Dragos Dumitrescu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008493066","display_name":"Costin Raiciu","orcid":"https://orcid.org/0000-0002-5937-2162"},"institutions":[{"id":"https://openalex.org/I61641377","display_name":"Universitatea Na\u021bional\u0103 de \u0218tiin\u021b\u0103 \u0219i Tehnologie Politehnica Bucure\u0219ti","ror":"https://ror.org/0558j5q12","country_code":"RO","type":"education","lineage":["https://openalex.org/I61641377"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Costin Raiciu","raw_affiliation_strings":["University Politehnica of Bucharest"],"affiliations":[{"raw_affiliation_string":"University Politehnica of Bucharest","institution_ids":["https://openalex.org/I61641377"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5059623051"],"corresponding_institution_ids":["https://openalex.org/I61641377"],"apc_list":null,"apc_paid":null,"fwci":0.2895,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6296974,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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.9980000257492065,"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/software-deployment","display_name":"Software deployment","score":0.9039905071258545},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7967005968093872},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5909140706062317},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.558854877948761},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.4829956293106079},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33837834000587463}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.9039905071258545},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7967005968093872},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5909140706062317},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.558854877948761},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.4829956293106079},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33837834000587463},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lanman.2016.7548840","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lanman.2016.7548840","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W223955670","https://openalex.org/W1608999459","https://openalex.org/W1882012874","https://openalex.org/W2010365467","https://openalex.org/W2115526539","https://openalex.org/W2140069682","https://openalex.org/W2142972529","https://openalex.org/W2180601376","https://openalex.org/W2188073520","https://openalex.org/W2584256470","https://openalex.org/W2950251060"],"related_works":["https://openalex.org/W96612179","https://openalex.org/W2770234245","https://openalex.org/W2566006169","https://openalex.org/W2987774938","https://openalex.org/W4256492088","https://openalex.org/W632915154","https://openalex.org/W2055733372","https://openalex.org/W4229499248","https://openalex.org/W4378874356","https://openalex.org/W2554503563"],"abstract_inverted_index":{"Neutron":[0,128],"is":[1,68],"the":[2,15,54,58,61,65,76,92,95],"OpenStack":[3,19,52,120],"component":[4],"that":[5,114],"implements":[6],"networking":[7],"and":[8,13,37,60,109,124],"it":[9,74],"has":[10],"been":[11],"mocked":[12],"derided":[14],"weakest":[16],"line":[17],"in":[18,70,122],"[11].":[20],"We":[21,43,103],"propose":[22,44],"to":[23,28,32,38,45,91,97],"use":[24],"network":[25,59],"symbolic":[26,47],"execution":[27,48],"improve":[29],"Neutron's":[30],"ability":[31],"correctly":[33],"implement":[34],"tenant":[35,40,55,66,77],"policies":[36],"provide":[39],"traffic":[41],"isolation.":[42],"apply":[46],"on":[49],"two":[50],"different":[51],"layers:":[53],"view":[56,67],"of":[57,94],"actual":[62],"deployment.":[63,84],"Analyzing":[64],"useful":[69],"many":[71],"ways;":[72],"first,":[73],"helps":[75],"better":[78],"understand":[79],"its":[80,86],"configuration's":[81],"behavior":[82],"before":[83],"Secondly,":[85],"outputs":[87],"can":[88,116],"be":[89],"compared":[90],"analysis":[93],"deployment":[96,121],"check":[98],"if":[99],"they":[100],"are":[101],"equivalent.":[102],"have":[104],"built":[105],"a":[106],"prototype":[107],"implementation":[108],"conducted":[110],"preliminary":[111],"evaluation,":[112],"finding":[113],"we":[115],"verify":[117],"our":[118],"department's":[119],"seconds":[123],"detect":[125],"certain":[126],"common":[127],"problems.":[129]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}