{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T06:51:33Z","timestamp":1648968693008},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,11,3]],"date-time":"2020-11-03T00:00:00Z","timestamp":1604361600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,3]],"date-time":"2020-11-03T00:00:00Z","timestamp":1604361600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s10009-020-00595-8","type":"journal-article","created":{"date-parts":[[2020,11,3]],"date-time":"2020-11-03T16:42:24Z","timestamp":1604421744000},"page":"69-70","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Masterminding change by combining secure system design with security risk assessment"],"prefix":"10.1007","volume":"23","author":[{"given":"Florian","family":"Kamm\u00fcller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Schivo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,3]]},"reference":[{"key":"595_CR1","doi-asserted-by":"crossref","unstructured":"Budde, C.E., Biagi, M., Monti, R.E., D\u2019Argenio, P.R., Stoelinga, M.: Rare event simulation for non-Markovian repairable fault trees. In: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, LNCS. Springer (2020)","DOI":"10.1007\/978-3-030-45190-5_26"},{"key":"595_CR2","unstructured":"CHIST-ERA. Success: Secure accessibility for the internet of things, 2016. http:\/\/www.chistera.eu\/projects\/success and https:\/\/github.com\/success-iot"},{"key":"595_CR3","doi-asserted-by":"crossref","unstructured":"Kamm\u00fcller, F.: Attack Trees in Isabelle. In: 20th International Conference on Information and Communications Security, LNCS 11149, Springer (2018)","DOI":"10.1007\/978-3-030-01950-1_36"},{"key":"595_CR4","doi-asserted-by":"crossref","unstructured":"Kamm\u00fcller, F.: Combining Secure System Design with Risk Assessment for IoT Healthcare Systems. In: Workshop of Security, Privacy, and Trust in the IoT, SPTIoT\u201919, colocated with IEEE PerCom\u201919. https:\/\/doi.org\/10.1109\/PERCOMW.2019.8730776, IEEE (2019)","DOI":"10.1109\/PERCOMW.2019.8730776"},{"key":"595_CR5","unstructured":"Kamm\u00fcller, F.: A formal development cycle for Security Engineering in Isabelle, (2020). arXiv:2001.08983"},{"key":"595_CR6","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-66266-4_2","volume-title":"Rare Event Simulation for Dynamic Fault Trees, Computer Safety, Reliability, and Security","author":"E Ruijters","year":"2017","unstructured":"Ruijters, E., Reijsbergen, D., de Boer, P.-T., Stoelinga, N.: Rare Event Simulation for Dynamic Fault Trees, Computer Safety, Reliability, and Security, pp. 20\u201335. Springer, Cham (2017)"},{"key":"595_CR7","unstructured":"Workshop on Security practices for Internet of Things, co-located with European Joint Conferences on Theory and Practice of Software, ETAPS\u201919. https:\/\/conf.researchr.org\/track\/etaps-2019\/spiot-2019-papers Sat 6\u2014Thu 11 April 2019 Prague, Czech Republic"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00595-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-020-00595-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00595-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,22]],"date-time":"2021-01-22T08:25:14Z","timestamp":1611303914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-020-00595-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,3]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["595"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00595-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,3]]},"assertion":[{"value":"16 October 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 November 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}