{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T10:22:32Z","timestamp":1776939752497,"version":"3.51.4"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319454764","type":"print"},{"value":"9783319454771","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45477-1_6","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T05:34:41Z","timestamp":1472880881000},"page":"67-75","source":"Crossref","is-referenced-by-count":17,"title":["Formal Analysis of Security Properties on the OPC-UA SCADA Protocol"],"prefix":"10.1007","author":[{"given":"Maxime","family":"Puys","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Laure","family":"Potet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Lafourcade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/MSP.2011.67","volume":"9","author":"R Langner","year":"2011","unstructured":"Langner, R.: Stuxnet: dissecting a cyberwarfare weapon. IEEE Secur. Priv. 9(3), 49\u201351 (2011)","journal-title":"IEEE Secur. Priv."},{"issue":"82","key":"6_CR2","first-page":"16","volume":"800","author":"K Stouffer","year":"2011","unstructured":"Stouffer, K., Falco, J., Karen, S.: Guide to industrial control systems (ICS) security. NIST Spec. Publ. 800(82), 16\u201316 (2011)","journal-title":"NIST Spec. Publ."},{"key":"6_CR3","unstructured":"ANSSI. Managing cybersecurity for ICS, June 2012"},{"issue":"7","key":"6_CR4","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1016\/j.cose.2006.03.001","volume":"25","author":"VM Igure","year":"2006","unstructured":"Igure, V.M., Laughter, S.A., Williams, R.D.: Security issues in SCADA networks. Comput. Secur. 25(7), 498\u2013506 (2006)","journal-title":"Comput. Secur."},{"issue":"7","key":"6_CR5","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/1538788.1538820","volume":"52","author":"SC Patel","year":"2009","unstructured":"Patel, S.C., Bhatt, G.D., Graham, J.H.: Improving the cyber security of SCADA communication networks. Commun. ACM 52(7), 139\u2013142 (2009)","journal-title":"Commun. ACM"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, G.R., Reynders, D., Wright, E.: Practical modern SCADA protocols: DNP3, 60870.5 and related systems. Newnes (2004)","DOI":"10.1016\/B978-075065799-0\/50019-X"},{"issue":"6","key":"6_CR7","doi-asserted-by":"crossref","first-page":"1152","DOI":"10.1109\/JPROC.2005.849714","volume":"93","author":"D Dzung","year":"2005","unstructured":"Dzung, D., Naedele, M., von Hoff, T.P., Crevatin, M.: Security for industrial communication systems. Proc. IEEE 93(6), 1152\u20131177 (2005)","journal-title":"Proc. IEEE"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Wanying, Q., Weimin, W., Surong, Z., Yan, Z.: The study of security issues for the industrial control systems communication protocols. In: JIMET 2015 (2015)","DOI":"10.2991\/jimet-15.2015.129"},{"issue":"2","key":"6_CR9","first-page":"68","volume":"3","author":"SC Patel","year":"2007","unstructured":"Patel, S.C., Yu, Y.: Analysis of SCADA security models. Int. Manag. Rev. 3(2), 68 (2007)","journal-title":"Int. Manag. Rev."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Fovino, I., Carcano, A., Masera, M., Trombetta, A.: Design and implementation of a secure MODBUS protocol. In: IFIP AICT 2009 (2009)","DOI":"10.1007\/978-3-642-04798-5_6"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Hayes, G., El-Khatib, K.: Securing MODBUS transactions using hash-based message authentication codes and stream transmission control protocol. In: ICCIT 2013, June 2013","DOI":"10.1109\/ICCITechnology.2013.6579545"},{"key":"6_CR12","unstructured":"Graham, J.H., Patel, S.C.: Correctness proofs for SCADA communication protocols. In: WM-SCI 2005 (2005)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-540-39650-5_15","volume-title":"Computer Security \u2013 ESORICS 2003","author":"D Basin","year":"2003","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: An on-the-fly model-checker for security protocol analysis. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol. 2808, pp. 253\u2013270. Springer, Heidelberg (2003)"},{"key":"6_CR14","unstructured":"Saul, E., Hutchison, A.: SPEAR II - the security protocol engineering and analysis resource (1999)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-319-30303-1_9","volume-title":"Foundations and Practice of Security","author":"P Lafourcade","year":"2016","unstructured":"Lafourcade, P., Puys, M.: Performance evaluations of cryptographic protocols verification tools dealing with algebraic properties. In: Garcia-Alfaro, J., et al. (eds.) FPS 2015. LNCS, vol. 9482, pp. 137\u2013155. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-30303-1_9"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on Prolog rules. In: CSF 2001 (2001)","DOI":"10.1109\/CSFW.2001.930138"},{"issue":"2","key":"6_CR17","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1981","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013208 (1981)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Dierks, T., Rescorla, E.: The transport layer security (TLS) protocol, version 1.2. IETFRFC 5246, August 2008","DOI":"10.17487\/rfc5246"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: TACAS 1996 (1996)","DOI":"10.1007\/3-540-61042-1_43"},{"issue":"1","key":"6_CR20","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/32.481513","volume":"22","author":"M Abadi","year":"1996","unstructured":"Abadi, M., Needham, R.: Prudent engineering practice for cryptographic protocols. IEEE Trans. Softw. Eng. 22(1), 6 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-642-23082-0_2","volume-title":"Foundations of Security Analysis and Design VI","author":"R Focardi","year":"2011","unstructured":"Focardi, R., Luccio, F.L., Steel, G.: An introduction to security api analysis. In: Aldini, A., Gorrieri, R. (eds.) FOSAD 2011. LNCS, vol. 6858, pp. 35\u201365. Springer, Heidelberg (2011)"},{"key":"6_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68899-0","volume-title":"OPC Unified Architecture","author":"W Mahnke","year":"2009","unstructured":"Mahnke, W., Leitner, S., Damm, M.: OPC Unified Architecture. Springer, Heidelberg (2009)"},{"key":"6_CR23","unstructured":"OPC Unified Architecture. Part 2: Security model, April 2013"},{"key":"6_CR24","unstructured":"OPC Unified Architecture. Part 4: Services, August 2012"},{"key":"6_CR25","unstructured":"OPC Unified Architecture. Part 6: Mappings, August 2012"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45477-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T05:37:41Z","timestamp":1568353061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45477-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454764","9783319454771"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45477-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}