{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:15:27Z","timestamp":1765232127087},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/icc.2013.6654813","type":"proceedings-article","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T17:22:26Z","timestamp":1384190546000},"source":"Crossref","is-referenced-by-count":108,"title":["Model checking invariant security properties in OpenFlow"],"prefix":"10.1109","author":[{"given":"Sooel","family":"Son","sequence":"first","affiliation":[]},{"given":"Seungwon","family":"Shin","sequence":"additional","affiliation":[]},{"given":"Vinod","family":"Yegneswaran","sequence":"additional","affiliation":[]},{"given":"Phillip","family":"Porras","sequence":"additional","affiliation":[]},{"given":"Guofei","family":"Gu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","year":"0","journal-title":"Nox"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2008.289"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2007.70802"},{"key":"3","author":"lantz","year":"0","journal-title":"Mininet"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"1","year":"2011","journal-title":"OpenFlow Switch Specification Version 1 1 0"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"7","article-title":"The YICES SMT solver","author":"dutetre","year":"2006","journal-title":"SRI Technical Report"},{"key":"6","article-title":"SANE: A protection architecture for enterprise networks","author":"casado","year":"2006","journal-title":"Proceedings of USENIX Security Symposium"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2009.2026415"},{"key":"4","article-title":"A NICE way to test openflow applications","author":"canini","year":"2012","journal-title":"Proceedings of NSDI"},{"key":"9","article-title":"The nature of datacenter traffic: Measurements and analysis","author":"kandula","year":"2009","journal-title":"Proceedings of Usenix\/ACM IMC"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1096536.1096541"}],"event":{"name":"ICC 2013 - 2013 IEEE International Conference on Communications","location":"Budapest, Hungary","start":{"date-parts":[[2013,6,9]]},"end":{"date-parts":[[2013,6,13]]}},"container-title":["2013 IEEE International Conference on Communications (ICC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6637584\/6654691\/06654813.pdf?arnumber=6654813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:49:11Z","timestamp":1490219351000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6654813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icc.2013.6654813","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}