{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:46:54Z","timestamp":1730195214232,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/afrcon.2013.6757652","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T22:15:04Z","timestamp":1394230504000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["Cyber-physical systems networking with TCP\/IP: A security application approach"],"prefix":"10.1109","author":[{"given":"Miroslav","family":"Sveda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radimir","family":"Vrba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Model checking","year":"1999","author":"clarke","key":"13"},{"key":"14","first-page":"171","article-title":"A formal model for network-wide security analysis","author":"matousek","year":"2008","journal-title":"Proceedings of the 15th IEEE Symposium and Workshop on ECBS IEEE Computer Society"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.76"},{"journal-title":"Modal and Temporal Logics","year":"1992","author":"stirling","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506426"},{"journal-title":"Cyber-Physical Systems Executive Summary","year":"2008","author":"krogh","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.101"},{"key":"10","first-page":"353","article-title":"Formal verification of security model using SPR tool","volume":"25","author":"kim","year":"2006","journal-title":"Computing and Informatics"},{"key":"7","first-page":"79","article-title":"A framework for cyber-physical systems design - A concept study","author":"rys?avy?","year":"2012","journal-title":"Proceedings the Sixth International Conference on Systems ICONS 2012"},{"key":"6","first-page":"12","article-title":"A cyber-physical system design approach","author":"s?ve?da","year":"2011","journal-title":"Proceedings of the Sixth International Conference on Systems - ICONS 2011"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICONS.2010.36"},{"key":"4","first-page":"5","article-title":"Security analysis of TCP\/IP networks - An approach to automatic analysis of network security properties","author":"s?ve?da","year":"2010","journal-title":"Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2000.839893"},{"key":"8","first-page":"298","article-title":"A formal authorization framework for networked SCADA systems","author":"halfar","year":"2012","journal-title":"Proceedings IEEE ECBS 2012"}],"event":{"name":"AFRICON 2013","start":{"date-parts":[[2013,9,9]]},"location":"Pointe-Aux-Piments, Mauritius","end":{"date-parts":[[2013,9,12]]}},"container-title":["2013 Africon"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6746871\/6757586\/06757652.pdf?arnumber=6757652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T22:17:45Z","timestamp":1490307465000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6757652\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/afrcon.2013.6757652","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}