{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:40:50Z","timestamp":1725885650735},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578576"},{"type":"electronic","value":"9783319578583"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-57858-3_6","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T06:59:24Z","timestamp":1493017164000},"page":"66-81","source":"Crossref","is-referenced-by-count":2,"title":["An Assessment of Security Analysis Tools for Cyber-Physical Systems"],"prefix":"10.1007","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":"Bart","family":"De Decker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Naessens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"6_CR1","unstructured":"Hardcoded passwords list (2016). https:\/\/github.com\/scadastrangelove\/SCADAPASS\/blob\/master\/scadapass.csv"},{"key":"6_CR2","unstructured":"Abrams, M., Weiss, J.: Malicious control system cyber security attack case study-maroochy water services, Australia (2008)"},{"key":"6_CR3","unstructured":"Assante, M.: Confirmation of a coordinated attack on the Ukrainian power grid (2016). https:\/\/ics.sans.org\/blog\/2016\/01\/09\/confirmation-of-a-coordinated-attack-on-the-ukrainian-power-grid"},{"key":"6_CR4","unstructured":"Bogaerts, B., De Cat, B., De Pooter, S., Denecker, M.: The IDP framework reference manual (2012)"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Evans, S., Wallner, J.: Risk-based security engineering through the eyes of the adversary. In: Proceedings from the Sixth Annual IEEE SMC Information Assurance Workshop, IAW 2005, pp. 158\u2013165. IEEE (2005)","DOI":"10.1109\/IAW.2005.1495947"},{"key":"6_CR6","unstructured":"Falliere, N., Murchu, L., Chien, E.: W32.Stuxnet Dossier (2011). http:\/\/www.symantec.com\/content\/en\/us\/enterprise\/media\/security_response\/whitepapers\/w32_stuxnet_dossier.pdf"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Ford, M.D., Keefe, K., LeMay, E., Sanders, W.H., Muehrcke, C.: Implementing the advise security modeling formalism in m\u00f6bius. In: 2013 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 1\u20138. IEEE (2013)","DOI":"10.1109\/DSN.2013.6575362"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Homeland Security, H.C.C.: Cset: Cyber security evaluation tool (2014)","DOI":"10.1016\/S1353-4858(14)70003-0"},{"key":"6_CR9","unstructured":"Langner, R.: To kill a centrifuge: a technical analysis of what stuxnet\u2019s creators tried to achieve (2013)"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 363\u2013369. IEEE (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Lemaire, L., Lapon, J., De Decker, B., Naessens, V.: A SysML extension for security analysis of industrial control systems. In: Proceedings of the 2nd International Symposium for ICS & SCADA Cyber Security Research, p. 1 (2014)","DOI":"10.14236\/ewic\/ics-csr2014.1"},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Lemaire, L., Vossaert, J., Jansen, J., Naessens, V.: Extracting vulnerabilities in industrial control systems using a knowledge-based system. In: Proceedings of the 3rd International Symposium for ICS & SCADA Cyber Security Research, p. 1 (2015)","DOI":"10.14236\/ewic\/ICS2015.1"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"LeMay, E., Ford, M.D., Keefe, K., Sanders, W.H., Muehrcke, C.: Model-based security metrics using adversary view security evaluation (advise). In: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), pp. 191\u2013200. IEEE (2011)","DOI":"10.1109\/QEST.2011.34"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Lippmann, R., Ingols, K., Scott, C., Piwowarski, K., Kratkiewicz, K., Artz, M., Cunningham, R.: Validating and restoring defense in depth using attack graphs. In: IEEE Military Communications Conference, MILCOM 2006, pp. 1\u201310. IEEE (2006)","DOI":"10.1109\/MILCOM.2006.302434"},{"key":"6_CR15","unstructured":"Lippmann, R., Scott, C., Kratkiewicz, K., Artz, M., Ingols, K.W.: Network security planning architecture. US Patent 7,194,769, 20 March 2007"},{"key":"6_CR16","unstructured":"Matrosov, A., Researcher, S.V., Rodionov, E., Analyst, R., Harley, D.: Stuxnet Under the Microscope (2011)"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Noel, S., Elder, M., Jajodia, S., Kalapa, P., O\u2019Hare, S., Prole, K.: Advances in topological vulnerability analysis. In: Cybersecurity Applications & Technology Conference For Homeland Security, CATCH 2009, pp. 124\u2013129. IEEE (2009)","DOI":"10.1109\/CATCH.2009.19"},{"key":"6_CR18","unstructured":"Ou, X., Govindavajhala, S., Appel, A.W.: Mulval: A logic-based network security analyzer. In: USENIX security (2005)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Schlegel, R., Obermeier, S., Schneider, J.: Assessing the security of IEC 62351. In: Proceedings of the 3rd International Symposium for ICS & SCADA Cyber Security Research, pp. 11\u201319. British Computer Society (2015)","DOI":"10.14236\/ewic\/ICS2015.2"},{"issue":"3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/JSYST.2012.2221853","volume":"7","author":"T Sommestad","year":"2013","unstructured":"Sommestad, T., Ekstedt, M., Holm, H.: The cyber security modeling language: a tool for assessing the vulnerability of enterprise system architectures. IEEE Syst. J. 7(3), 363\u2013373 (2013)","journal-title":"IEEE Syst. J."},{"key":"6_CR21","unstructured":"Sommestad, T., Ekstedt, M., Nordstr\u00f6m, L.: A case study applying the cyber security modeling language (2010)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Stouffer, K., Lightman, S., Pillitteri, V., Abrams, M., Hahn, A.: Guide to industrial control systems (ICS) security (2015)","DOI":"10.6028\/NIST.SP.800-82r2"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-319-10696-0_29","volume-title":"Quantitative Evaluation of Systems","author":"AH Vu","year":"2014","unstructured":"Vu, A.H., Tippenhauer, N.O., Chen, B., Nicol, D.M., Kalbarczyk, Z.: CyberSAGE: a tool for automatic security assessment of cyber-physical systems. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 384\u2013387. Springer, Cham (2014). doi: 10.1007\/978-3-319-10696-0_29"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Wang, E.K., Ye, Y., Xu, X., Yiu, S., Hui, L., Chow, K.: Security issues and challenges for cyber physical system. In: Proceedings of the 2010 IEEE\/ACM International Conference on Green Computing and Communications & International Conference on Cyber, Physical and Social Computing, pp. 733\u2013738. IEEE Computer Society (2010)","DOI":"10.1109\/GreenCom-CPSCom.2010.36"},{"issue":"1","key":"6_CR25","first-page":"4","volume":"11","author":"B Whiteman","year":"2008","unstructured":"Whiteman, B.: Network risk assessment tool (NRAT). IA Newsl. 11(1), 4\u20138 (2008)","journal-title":"IA Newsl."},{"key":"6_CR26","unstructured":"Wittocx, J., Mari\u00ebn, M., Denecker, M.: The IDP system: a model expansion system for an extension of classical logic. In: Proceedings of the 2nd Workshop on Logic and Search, pp. 153\u2013165 (2008)"},{"key":"6_CR27","unstructured":"Zetter, K.: Inside the cunning, unprecedented hack of Ukraine\u2019s power grid (2016). http:\/\/www.wired.com\/2016\/03\/inside-cunning-unprecedented-hack-ukraines-power-grid\/"}],"container-title":["Lecture Notes in Computer Science","Risk Assessment and Risk-Driven Quality Assurance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57858-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T17:54:12Z","timestamp":1569088452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57858-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578576","9783319578583"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57858-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}