{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T16:36:10Z","timestamp":1772642170002,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030123291","type":"print"},{"value":"9783030123307","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-12330-7_1","type":"book-chapter","created":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T22:20:47Z","timestamp":1557786047000},"page":"3-27","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Securing Industrial Control Systems"],"prefix":"10.1007","author":[{"given":"Marina","family":"Krotofil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Kursawe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dieter","family":"Gollmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,14]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"3543","DOI":"10.1109\/JSYST.2017.2740719","volume":"12","author":"C Alcaraz","year":"2017","unstructured":"Alcaraz C, Lopez J (2017) A cyber-physical systems-based checkpoint model for structural controllability. IEEE Syst J 12:3543\u20133554","journal-title":"IEEE Syst J"},{"issue":"3\u20134","key":"1_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1504\/IJES.2006.014859","volume":"2","author":"J Alves-Foss","year":"2006","unstructured":"Alves-Foss J, Oman PW, Taylor C, Harrison WS (2006) The mils architecture for high-assurance embedded systems. Int J Embed Syst 2(3\u20134):239\u2013247","journal-title":"Int J Embed Syst"},{"key":"1_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-6584-9","volume-title":"A Practical Guide to TPM 2.0","author":"Will Arthur","year":"2015","unstructured":"Arthur W, Challener D (2015) A practical guide to TPM 2.0: using the Trusted Platform Module in the new age of security. Apress, Berkeley"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Barreto C, C\u00e1rdenas AA, Quijano N (2013) Controllability of dynamical systems: threat models and reactive security. In: International Conference on Decision and Game Theory for Security. Springer, pp 45\u201364","DOI":"10.1007\/978-3-319-02786-9_4"},{"key":"1_CR5","unstructured":"Bell DE, LaPadula LJ (1973) Secure computer systems: mathematical foundations. Technical report, MITRE CORP BEDFORD MA"},{"key":"1_CR6","unstructured":"Biba KJ (1977) Integrity considerations for secure computer systems. Technical report, MITRE CORP BEDFORD MA"},{"key":"1_CR7","unstructured":"Bratus S, Locasto M, Patterson M, Sassaman L, Shubina A (2011) Exploit programming: from buffer overflows to weird machines and theory of computation. {USENIX; login:}"},{"key":"1_CR8","unstructured":"Byres E (2012) Using ANSI\/ISA-99 standards to improve control system security. White paper, Tofino Security"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/MSP.2014.66","volume":"12","author":"M Carvalho","year":"2014","unstructured":"Carvalho M, DeMott J, Ford R, Wheeler DA (2014) Heartbleed 101. IEEE Secur Priv 12(4):63\u201367","journal-title":"IEEE Secur Priv"},{"key":"1_CR10","first-page":"17","volume":"13","author":"S Christey","year":"2007","unstructured":"Christey S (2007) Unforgivable vulnerabilities. Black Hat Brief 13:17","journal-title":"Black Hat Brief"},{"key":"1_CR11","unstructured":"Clark DD, Wilson DR (1987) A comparison of commercial and military computer security policies. In: Proceedings of the 1987 IEEE Symposium on Security and Privacy, pp 184\u2013194"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Dabrowski A, Ullrich J, Weippl ER (2017) Grid shock: coordinated load-changing attacks on power grids: the non-smart power grid is vulnerable to cyber attacks as well. In: Proceedings of the 33rd Annual Computer Security Applications Conference. ACM, pp 303\u2013314","DOI":"10.1145\/3134600.3134639"},{"key":"1_CR13","unstructured":"Duntemann J (2004) The lessons of software monoculture. SD Times, p 28, 1 Nov 2004"},{"key":"1_CR14","unstructured":"Etalle S (2017) From intrusion detection to software design. In: European Symposium on Research in Computer Security. Springer, pp 1\u201310"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/3176402","volume":"61","author":"K Fu","year":"2018","unstructured":"Fu K, Xu W (2018) Risks of trusting the physics of sensors. Commun ACM 61(2):20\u201323","journal-title":"Commun ACM"},{"key":"1_CR16","unstructured":"Glaessgen E, Stargel D (2012) The digital twin paradigm for future nasa and us air force vehicles. In: 53rd AIAA\/ASME\/ASCE\/AHS\/ASC Structures, Structural Dynamics and Materials Conference 20th AIAA\/ASME\/AHS Adaptive Structures Conference 14th AIAA, p 1818"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Gollmann D, Gurikov P, Isakov A, Krotofil M, Larsen J, Winnicki A (2015) Cyber-physical systems security: experimental analysis of a vinyl acetate monomer plant. In: Proceedings of the 1st ACM Workshop on Cyber-Physical System Security. ACM, pp 1\u201312","DOI":"10.1145\/2732198.2732208"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Jovanovic P, Neves S (2015) Practical cryptanalysis of the open smart grid protocol. In: International Workshop on Fast Software Encryption. Springer, pp 297\u2013316","DOI":"10.1007\/978-3-662-48116-5_15"},{"key":"1_CR19","unstructured":"Kocher P, Genkin D, Gruss D, Haas W, Hamburg M, Lipp M, Mangard S, Prescher T, Schwarz M, Yarom Y (2018) Spectre attacks: exploiting speculative execution. arXiv preprint arXiv:1801.01203"},{"key":"1_CR20","first-page":"133","volume-title":"Proceedings of the 10th ACM Symposium on Information","author":"M Krotofil","year":"2015","unstructured":"Krotofil M, Larsen J, Gollmann D (2015) The process matters: ensuring data veracity in cyber-physical systems. In: Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security. ACM, pp 133\u2013144"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Kursawe K, Peters C (2015) Structural weaknesses in the open smart grid protocol. In: 2015 10th International Conference on Availability, Reliability and Security (ARES). IEEE, pp 1\u201310","DOI":"10.1109\/ARES.2015.67"},{"issue":"10","key":"1_CR22","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"BW Lampson","year":"1973","unstructured":"Lampson BW (1973) A note on the confinement problem. Commun ACM 16(10):613\u2013615","journal-title":"Commun ACM"},{"key":"1_CR23","unstructured":"Leverett E, Wightman R (2013) Vulnerability inheritance programmable logic controllers. In: Proceedings of the Second International Symposium on Research in Grey-Hat Hacking"},{"key":"1_CR24","unstructured":"Lions J-L, L\u00fcbeck L, Fauquembergue J-L, Kahn G, Kubbat W, Levedag S, Mazzini L, Merle D, O\u2019Halloran C (1996) Ariane 5 flight 501 failure report by the inquiry board"},{"key":"1_CR25","unstructured":"Lipp M, Schwarz M, Gruss D, Prescher T, Haas W, Mangard S, Kocher P, Genkin D, Yarom Y, Hamburg M (2018) Meltdown. arXiv preprint arXiv:1801.01207"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"McQueen M, Giani A (2011) \u2018Known secure sensor measurements\u2019 for critical infrastructure systems: detecting falsification of system state. In: International Workshop on Software Engineering for Resilient Systems. Springer, pp 156\u2013163","DOI":"10.1007\/978-3-642-24124-6_15"},{"issue":"12","key":"1_CR27","doi-asserted-by":"publisher","first-page":"2515","DOI":"10.1016\/j.cherd.2013.05.007","volume":"91","author":"M Sharifzadeh","year":"2013","unstructured":"Sharifzadeh M (2013) Integration of process design and control: a review. Chem Eng Res Des 91(12):2515\u20132549","journal-title":"Chem Eng Res Des"},{"key":"1_CR28","unstructured":"Tung L (2018) Meltdown-spectre: more businesses warned off patching over stability issues. \n                    https:\/\/www.zdnet.com\/\n                    \n                  , 15 Jan 2018"},{"key":"1_CR29","unstructured":"Unified Extensible Firmware Interface specification, Version 2.5, April 2015"},{"key":"1_CR30","unstructured":"U.S. Chemical Safety Board (2011) Dupont corporation toxic chemical releases: investigation report, July 2011"},{"key":"1_CR31","unstructured":"Verizon (2016) Data breach digest. Scenarios from the field"}],"container-title":["Advanced Sciences and Technologies for Security Applications","Security and Privacy Trends in the Industrial Internet of Things"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-12330-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T05:30:07Z","timestamp":1563255007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-12330-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030123291","9783030123307"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-12330-7_1","relation":{},"ISSN":["1613-5113","2363-9466"],"issn-type":[{"value":"1613-5113","type":"print"},{"value":"2363-9466","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"14 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}