{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T01:04:07Z","timestamp":1767920647935,"version":"3.49.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/netsoft.2017.8004230","type":"proceedings-article","created":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T20:30:59Z","timestamp":1502742659000},"page":"1-6","source":"Crossref","is-referenced-by-count":11,"title":["A model for the analysis of security policies in service function chains"],"prefix":"10.1109","author":[{"given":"L.","family":"Durante","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Seno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Valenza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Valenzano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"259","article-title":"Modeling and Verification of IPsec and VPN Security Policies","author":"al-shaer","year":"2005","journal-title":"Proc of the 13th IEEE Int Conf on Network Protocols"},{"key":"ref11","first-page":"148","article-title":"Inter-technology conflict analysis for communication protection policies","author":"basile","year":"2014","journal-title":"Proc of the 9th Int Conf on Risks and Security of Internet and Systems (CRISIS)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/nem.1917"},{"key":"ref13","article-title":"Applying NOX to the datacenter","author":"tavakoli","year":"2009","journal-title":"Proc of the 8th ACM Wksp on Hot Topics in Networks (HOTNET)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339690"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN.2016.7919488"},{"key":"ref17","article-title":"Veri-fying isolation properties in the presence of middleboxes","volume":"abs 1409 7687","author":"panda","year":"2014","journal-title":"CoRR"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24072-5_18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2326417"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.17487\/RFC7665"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2602204.2602219"},{"key":"ref6","article-title":"Interface to Network Security Functions (12NSF)","author":"farrel","year":"2015","journal-title":"Internet Engineering Task Force Tech Rep"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.17487\/rfc7498"},{"key":"ref8","first-page":"193","article-title":"Complete Redundancy Detection in Firewalls","author":"liu","year":"2005","journal-title":"Proc 1998 Computer Security Applications Conf"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2005.854119"},{"key":"ref2","article-title":"Network Function Virtualization - White Paper 2","year":"2013","journal-title":"European Telecommunications Standards Institute"},{"key":"ref1","article-title":"2016 Data Breach Investigations Report","year":"2016","journal-title":"Verizon"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/3-540-44569-2_3","article-title":"IPsec\/VPN security policy: Correctness, conflict detection, and resolution","author":"fu","year":"2001","journal-title":"Proc Int'l Wksp Policies for Distributed Systems and Networks"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3198"}],"event":{"name":"2017 IEEE Conference on Network Softwarization (NetSoft)","location":"Bologna, Italy","start":{"date-parts":[[2017,7,3]]},"end":{"date-parts":[[2017,7,7]]}},"container-title":["2017 IEEE Conference on Network Softwarization (NetSoft)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8003023\/8004097\/08004230.pdf?arnumber=8004230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T11:46:51Z","timestamp":1570016811000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8004230\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/netsoft.2017.8004230","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}