{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:55:22Z","timestamp":1773615322307,"version":"3.50.1"},"reference-count":17,"publisher":"Allerton Press","issue":"2","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.3103\/s0146411617020055","type":"journal-article","created":{"date-parts":[[2017,5,17]],"date-time":"2017-05-17T04:12:58Z","timestamp":1494994378000},"page":"114-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A logic-based framework for the security analysis of Industrial Control Systems"],"prefix":"10.3103","volume":"51","author":[{"given":"Laurens","family":"Lemaire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Vossaert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Jansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Naessens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2017,5,18]]},"reference":[{"key":"6578_CR1","volume-title":"Maroochy Water Services","author":"M. Abrams","year":"2008","unstructured":"Abrams, M. and Weiss, J., Malicious Control System Cyber Security Attack Case Study, Maroochy Water Services, Australia, 2008."},{"key":"6578_CR2","volume-title":"The State of Industrial Control Systems Security and National Critical Infrastructure","author":"A. Tinuade","year":"2012","unstructured":"Tinuade, A., The State of Industrial Control Systems Security and National Critical Infrastructure Protection: Emerging Threats, 2012."},{"key":"6578_CR3","unstructured":"ANSI\/ISA-62443-3-3 (99.03.03)-2013 Security for Industrial Automation and Control Systems Part 3-3: System Security Requirements and Security Levels, 2013."},{"key":"6578_CR4","volume-title":"The IDP Framework Reference Manual","author":"B. Bogaerts","year":"2012","unstructured":"Bogaerts, B., De Cat, B., De Pooter, S., and Denecker, M., The IDP Framework Reference Manual, 2012."},{"key":"6578_CR5","volume-title":"NISCC Good Practice Guide on Firewall Deployment for SCADA and Process Control Networks","author":"E. Byres","year":"2005","unstructured":"Byres, E., Karsch, J., and Carter, J., NISCC Good Practice Guide on Firewall Deployment for SCADA and Process Control Networks, National Infrastructure Security Co-Ordination Centre, 2005."},{"key":"6578_CR6","unstructured":"Centre for Protection of National Infrastructure. Manage Industrial Control Systems Lifecycle: A Good Practice Guide, 2015. https:\/\/www.cpni.gov.uk\/Documents\/Publications\/2015\/12-May-2015-3.%20Manage%20 ICS%20Lifecycle%20Final %20v1.0.pdf."},{"key":"6578_CR7","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"S. Friedenthal","year":"2014","unstructured":"Friedenthal, S., Moore, A., and Steiner, R., A Practical Guide to SysML: The Systems Modeling Language, Morgan Kaufmann, 2014."},{"issue":"2","key":"6578_CR8","doi-asserted-by":"publisher","first-page":"860","DOI":"10.1109\/SURV.2012.071812.00124","volume":"15","author":"B. Galloway","year":"2013","unstructured":"Galloway, B. and Hancke, G.P., Introduction to industrial control networks, IEEE Commun. Surv. Tutorials, 2013, vol. 15, no. 2, pp. 860\u2013880.","journal-title":"IEEE Commun. Surv. Tutorials"},{"key":"6578_CR9","first-page":"796","volume-title":"Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come","author":"E. Huang","year":"2007","unstructured":"Huang, E., Ramamurthy, R., and McGinnis, L.F., System and simulation modeling using SysML, Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come, 2007, pp. 796\u2013803."},{"key":"6578_CR10","unstructured":"ISO\/IEC 21827: Information Technology\u2014Security Techniques\u2014Systems Security Engineering\u2014Capability Maturity Model (SSE-CMM), 2008."},{"key":"6578_CR11","volume-title":"To Kill a Centrifuge: A Technical Analysis of What Stuxnet\u2019s Creators Tried to Achieve","author":"R. Langner","year":"2013","unstructured":"Langner, R., To Kill a Centrifuge: A Technical Analysis of What Stuxnet\u2019s Creators Tried to Achieve, 2013."},{"key":"6578_CR12","first-page":"1","volume-title":"Proceedings of the 2nd International Symposium for ICS & SCADA Cyber Security Research","author":"L. Lemaire","year":"2014","unstructured":"Lemaire, L., Lapon, J., De Decker, B., and Naessens, V., A SysML extension for security analysis of industrial control systems, Proceedings of the 2nd International Symposium for ICS & SCADA Cyber Security Research, 2014, p. 1."},{"key":"6578_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.14236\/ewic\/ICS2015.1","volume-title":"Proceedings of the 3rd International Symposium for ICS & SCADA Cyber Security Research","author":"L. Lemaire","year":"2015","unstructured":"Lemaire, L., Vossaert, J., Jansen, J., and Naessens, V., Extracting vulnerabilities in industrial control systems using a knowledge-based system, Proceedings of the 3rd International Symposium for ICS & SCADA Cyber Security Research, 2015, p. 1."},{"key":"6578_CR14","volume-title":"Stuxnet Under the Microscope","author":"A. Matrosov","year":"2011","unstructured":"Matrosov, A., Rodionov, E., and Harley, D., Stuxnet Under the Microscope, 2011."},{"key":"6578_CR15","first-page":"78","volume-title":"Proceedings of the 1st International Symposium on ICS & SCADA Cyber Security Research","author":"R. Oates","year":"2013","unstructured":"Oates, R., Thom, F., and Herries, G., Security-aware, model-based systems engineering with SysML, Proceedings of the 1st International Symposium on ICS & SCADA Cyber Security Research, 2013, pp. 78\u201387."},{"key":"6578_CR16","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-82r2","volume-title":"Guide to Industrial Control Systems (ICS) Security","author":"K. Stouffer","year":"2015","unstructured":"Stouffer, K., Lightman, S., Pillitteri, V., Abrams, M., and Hahn, A., Guide to Industrial Control Systems (ICS) Security, 2015."},{"key":"6578_CR17","first-page":"153","volume-title":"Proceedings of the 2nd Workshop on Logic and Search","author":"J. Wittocx","year":"2008","unstructured":"Wittocx, J., Mari\u00ebn, M., and Denecker, M., The IDP system: A model expansion system for an extension of classical logic, Proceedings of the 2nd Workshop on Logic and Search, 2008, pp. 153\u2013165."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411617020055.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411617020055","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411617020055.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:58:22Z","timestamp":1773611902000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411617020055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["6578"],"URL":"https:\/\/doi.org\/10.3103\/s0146411617020055","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3]]},"assertion":[{"value":"11 August 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 May 2017","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}