@Article{2019,
  author    = {Fulvio Valenza and Serena Spinoso and Riccardo Sisto},
  doi       = {10.1016/j.jnca.2019.102419},
  journal   = {Journal of Network and Computer Applications},
  title     = {Formally specifying and checking policies and anomalies in service function chaining},
  volume    = {146},
  year      = {2019},
abstract={One of the proposed management strategies for SDN networks is to specify traffic forwarding through policies, where each policy rule identifies a traffic flow and its traversed service chains. While network operators need to check network configurations as soon as possible, the SDN verification literature focuses on checking policy correctness during or after their deployment. This paper, instead, proposes early verification of forwarding policies before their deployment, by looking for the presence of anomalies that can potentially lead to erroneous and unexpected network behaviour. The proposed verification relies on a formal model that enables high flexibility in specifying both a forwarding policy and the set of anomalies to verify. The presented approach is efficient and highly scalable, as confirmed by tests with large networks. © 2019 Elsevier Ltd},
  keywords={Policy Verification},
  url       = {},
}

{"_id":"KXn3HoJFwsQifuKfd","bibbaseid":"valenza-spinoso-sisto-formallyspecifyingandcheckingpoliciesandanomaliesinservicefunctionchaining-2019","authorIDs":["anJrBcCdr4LzzWetx","x5vNTEJ4s3raTsibp"],"author_short":["Valenza, F.","Spinoso, S.","Sisto, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Fulvio"],"propositions":[],"lastnames":["Valenza"],"suffixes":[]},{"firstnames":["Serena"],"propositions":[],"lastnames":["Spinoso"],"suffixes":[]},{"firstnames":["Riccardo"],"propositions":[],"lastnames":["Sisto"],"suffixes":[]}],"doi":"10.1016/j.jnca.2019.102419","journal":"Journal of Network and Computer Applications","title":"Formally specifying and checking policies and anomalies in service function chaining","volume":"146","year":"2019","abstract":"One of the proposed management strategies for SDN networks is to specify traffic forwarding through policies, where each policy rule identifies a traffic flow and its traversed service chains. While network operators need to check network configurations as soon as possible, the SDN verification literature focuses on checking policy correctness during or after their deployment. This paper, instead, proposes early verification of forwarding policies before their deployment, by looking for the presence of anomalies that can potentially lead to erroneous and unexpected network behaviour. The proposed verification relies on a formal model that enables high flexibility in specifying both a forwarding policy and the set of anomalies to verify. The presented approach is efficient and highly scalable, as confirmed by tests with large networks. © 2019 Elsevier Ltd","keywords":"Policy Verification","url":"","bibtex":"@Article{2019,\r\n author = {Fulvio Valenza and Serena Spinoso and Riccardo Sisto},\r\n doi = {10.1016/j.jnca.2019.102419},\r\n journal = {Journal of Network and Computer Applications},\r\n title = {Formally specifying and checking policies and anomalies in service function chaining},\r\n volume = {146},\r\n year = {2019},\r\nabstract={One of the proposed management strategies for SDN networks is to specify traffic forwarding through policies, where each policy rule identifies a traffic flow and its traversed service chains. While network operators need to check network configurations as soon as possible, the SDN verification literature focuses on checking policy correctness during or after their deployment. This paper, instead, proposes early verification of forwarding policies before their deployment, by looking for the presence of anomalies that can potentially lead to erroneous and unexpected network behaviour. The proposed verification relies on a formal model that enables high flexibility in specifying both a forwarding policy and the set of anomalies to verify. The presented approach is efficient and highly scalable, as confirmed by tests with large networks. © 2019 Elsevier Ltd},\r\n keywords={Policy Verification},\r\n url = {},\r\n}\r\n\r\n","author_short":["Valenza, F.","Spinoso, S.","Sisto, R."],"key":"2019","id":"2019","bibbaseid":"valenza-spinoso-sisto-formallyspecifyingandcheckingpoliciesandanomaliesinservicefunctionchaining-2019","role":"author","urls":{"Paper":"https://raw.githubusercontent.com/FulvioValenza/bibliography/b6ac2db7ddcda59103b48375cf05b3b9dcff4ded/Valenza_bibliography.bib"},"keyword":["Policy Verification"],"metadata":{"authorlinks":{"valenza, f":"https://bibbase.org/show?bib=https%3A%2F%2Fraw.githubusercontent.com%2FFulvioValenza%2Fbibliography%2Fmain%2FValenza_bibliography.bib&commas=true","valenza, f":"https://bibbase.org/service/mendeley/47be63fe-fca0-3f0f-a864-642602926c3f"}},"downloads":4},"bibtype":"article","biburl":"https://raw.githubusercontent.com/FulvioValenza/bibliography/b6ac2db7ddcda59103b48375cf05b3b9dcff4ded/Valenza_bibliography.bib","creationDate":"2021-01-16T10:07:49.755Z","downloads":4,"keywords":["policy verification"],"search_terms":["formally","specifying","checking","policies","anomalies","service","function","chaining","valenza","spinoso","sisto"],"title":"Formally specifying and checking policies and anomalies in service function chaining","year":2019,"dataSources":["JbiX35GNqPCF3nids","csYhy47rJJgSM7jjJ"]}