{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T03:30:12Z","timestamp":1764732612511,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/rtsi.2015.7325150","type":"proceedings-article","created":{"date-parts":[[2015,11,12]],"date-time":"2015-11-12T23:45:52Z","timestamp":1447371952000},"page":"516-522","source":"Crossref","is-referenced-by-count":7,"title":["A formal model of network policy analysis"],"prefix":"10.1109","author":[{"given":"Fulvio","family":"Valenza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serena","family":"Spinoso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cataldo","family":"Basile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Lioy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EWSDN.2014.18"},{"article-title":"Unify d2.2: Final architecture","year":"2015","author":"szab","key":"ref11"},{"article-title":"Unify d4.2: Proposal for sp-devops network capabilities and tools","year":"2015","author":"steinert","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17127-2_10"},{"article-title":"OWL 2 web ontology language document overview","year":"2009","author":"group","key":"ref14"},{"journal-title":"Technical Report World Wide Web Consortium","article-title":"SWRL: A Semantic Web Rule Language Combining OWL and RuleML","year":"2004","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.15"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2011.2178431"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2013.2293625"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-007-0045-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2005.854119"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44569-2_3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2602204.2602219"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SDN4FNS.2013.6702547"},{"article-title":"Service function chaining: Framework & architecture draft-boucadair-sfc-framework-00","year":"2013","author":"boucadair","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535792"},{"journal-title":"Policy-based Network Management Solutions for the Next Generation (The Morgan Kaufmann Series in Networking)","year":"2003","author":"strassner","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6658648"},{"key":"ref1","first-page":"103","article-title":"Firewall Configuration Errors Revisited","volume":"abs 911 1240","author":"wool","year":"2009","journal-title":"CoRR"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19348-4_15"},{"key":"ref22","first-page":"259","article-title":"Modeling and Verification of IPSec and VPN Security Policies","author":"al-shaer","year":"0","journal-title":"Proceedings of the 13TH IEEE International Conference on Network Protocols"},{"key":"ref21","article-title":"Semantic model for IPsec policy interaction","author":"zao","year":"2000","journal-title":"Internet Draft Report"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"article-title":"Service function chaining verification draft-lee-sfc-verification-OO","year":"2014","author":"lee","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2014.6912577"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICCNC.2012.6167511"}],"event":{"name":"2015 IEEE 1st International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI)","start":{"date-parts":[[2015,9,16]]},"location":"Torino, Italy","end":{"date-parts":[[2015,9,18]]}},"container-title":["2015 IEEE 1st International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7302373\/7325058\/07325150.pdf?arnumber=7325150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T04:59:56Z","timestamp":1490417996000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7325150\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/rtsi.2015.7325150","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}