{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T12:28:49Z","timestamp":1761395329843,"version":"3.37.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030000172"},{"type":"electronic","value":"9783030000189"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-00018-9_22","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T10:57:49Z","timestamp":1537873069000},"page":"241-255","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Detecting PLC Program Malicious Behaviors Based on State Verification"],"prefix":"10.1007","author":[{"given":"Tianyou","family":"Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenwen","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yangyang","family":"Geng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,26]]},"reference":[{"key":"22_CR1","unstructured":"Mclaughlin, S.: On dynamic malware payloads aimed at programmable logic controllers. In: Usenix Conference on Hot Topics in Security, p. 10 (2011)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Klick, J., Lau, S., Marzin, D., Malchow, J., Roth, V.: Internet-Facing PLCs - A New Back Orifice. Blackhat (2015)","DOI":"10.1109\/CNS.2015.7346865"},{"key":"22_CR3","unstructured":"Spenneberg, R., Br\u00fcggemann, M., Schwartke, H.: PLC-Blaster: A Worm Living Solely in the PLC. Blackhat (2016)"},{"key":"22_CR4","unstructured":"Valentine, S.E.: PLC code vulnerabilities through SCADA systems. University of South Carolina (2013)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Wan, H., Chen, G., Song, X., et al.: Formalization and verification of PLC timers in Coq, vol. 1, pp. 315\u2013323 (2009)","DOI":"10.1109\/COMPSAC.2009.49"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Ould Biha, S.: A formal semantics of PLC programs in Coq. In: IEEE Computer Software and Applications Conference, pp. 118\u2013127. IEEE Computer Society, (2011)","DOI":"10.1109\/COMPSAC.2011.23"},{"key":"22_CR7","unstructured":"Darvas, D., Adiego, B.F., Vi\u00f1uela, E.B., et al.: Transforming PLC programs into formal models for verification purposes (2013)"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-662-43613-4_18","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"D Darvas","year":"2014","unstructured":"Darvas, D., Fern\u00e1ndez Adiego, B., V\u00f6r\u00f6s, A., Bartha, T., Blanco Vi\u00f1uela, E., Gonz\u00e1lez Su\u00e1rez, V.M.: Formal verification of complex properties on PLC programs. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 284\u2013299. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43613-4_18"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"He, N., Oke, V., Allen, G.: Model-based verification of PLC programs using Simulink design. In: IEEE International Conference on Electro Information Technology (2016)","DOI":"10.1109\/EIT.2016.7535242"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Mclaughlin, S.: A trusted safety verifier for process controller code. In: Network and Distributed System Security Symposium (2014)","DOI":"10.14722\/ndss.2014.23043"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Chang, T., Wei, Q., Geng, Y.: Constructing PLC binary program model for detection purposes. In: ISCTT (2017)","DOI":"10.1088\/1742-6596\/1087\/2\/022022"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-319-72817-9_8","volume-title":"Computer Security","author":"N Govil","year":"2018","unstructured":"Govil, N., Agrawal, A., Tippenhauer, N.O.: On ladder logic bombs in industrial control systems. In: Katsikas, S.K., et al. (eds.) CyberICPS\/SECPRE -2017. LNCS, vol. 10683, pp. 110\u2013126. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72817-9_8"}],"container-title":["Lecture Notes in Computer Science","Cloud Computing and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00018-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T16:55:04Z","timestamp":1571936104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00018-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030000172","9783030000189"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00018-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"ICCCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Cloud Computing and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Haikou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"incodldos2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icccsconf.org\/icccs2018.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}