{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T16:40:26Z","timestamp":1790613626899,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,26]],"date-time":"2018-05-26T00:00:00Z","timestamp":1527292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Ministerium f\u00fcr Kultur und Wissenschaft des Landes Nordrhein-Westfalen"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,26]]},"DOI":"10.1145\/3202710.3203159","type":"proceedings-article","created":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T12:39:28Z","timestamp":1527251968000},"page":"123-127","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Towards ensuring security by design in cyber-physical systems engineering processes"],"prefix":"10.1145","author":[{"given":"Johannes","family":"Geismann","sequence":"first","affiliation":[{"name":"Paderborn University, Paderborn, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christopher","family":"Gerking","sequence":"additional","affiliation":[{"name":"Paderborn University, Paderborn, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[{"name":"Paderborn University, Paderborn, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,5,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"H. Anacker C. Brenner R. Dorociak R. Dumitrescu J. Gausemeier P. Iwanek W. Sch\u00e4fer and M. Va\u00dfholz. 2014. Methods for the Domain-Spanning Conceptual Design. In Design Methodology for Intelligent Technical Systems: Develop Intelligent Technical Systems of the Future. Springer-Verlag 117--182.  H. Anacker C. Brenner R. Dorociak R. Dumitrescu J. Gausemeier P. Iwanek W. Sch\u00e4fer and M. Va\u00dfholz. 2014. Methods for the Domain-Spanning Conceptual Design. In Design Methodology for Intelligent Technical Systems: Develop Intelligent Technical Systems of the Future. Springer-Verlag 117--182.","DOI":"10.1007\/978-3-642-45435-6_4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125810"},{"key":"e_1_3_2_1_3_1","volume-title":"DATE","author":"Chattopadhyay A.","year":"2017","unstructured":"A. Chattopadhyay , A. Prakash , and M. Shafique . 2017. Secure Cyber-Physical Systems: Current trends, tools and open research problems . In DATE 2017 . IEEE, 1104--1109. A. Chattopadhyay, A. Prakash, and M. Shafique. 2017. Secure Cyber-Physical Systems: Current trends, tools and open research problems. In DATE 2017. IEEE, 1104--1109."},{"key":"e_1_3_2_1_4_1","volume-title":"Security Requirements Engineering: When Anti-Requirements Hit the Fan. In RE","author":"Crook R.","year":"2002","unstructured":"R. Crook , D. C. Ince , L. Lin , and B. Nuseibeh . 2002 . Security Requirements Engineering: When Anti-Requirements Hit the Fan. In RE 2002 . IEEE, 203--205. R. Crook, D. C. Ince, L. Lin, and B. Nuseibeh. 2002. Security Requirements Engineering: When Anti-Requirements Hit the Fan. In RE 2002. IEEE, 203--205."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.01.010"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"J. S. Fitzgerald P. Gorm Larsen and M. Verhoef. 2014. From Embedded to Cyber-Physical Systems: Challenges and Future Directions. In Collaborative Design for Embedded Systems. Springer-Verlag 293--303.  J. S. Fitzgerald P. Gorm Larsen and M. Verhoef. 2014. From Embedded to Cyber-Physical Systems: Challenges and Future Directions. In Collaborative Design for Embedded Systems. Springer-Verlag 293--303.","DOI":"10.1007\/978-3-642-54118-6_14"},{"key":"e_1_3_2_1_7_1","volume-title":"IFAC Proceedings Volumes 35","author":"Gausemeier J.","year":"2002","unstructured":"J. Gausemeier and S. Moehringer . 2002. VDI 2206 - A New Guideline for the Design of Mechatronic Systems . IFAC Proceedings Volumes 35 , 2 ( 2002 ), 785 -- 790. J. Gausemeier and S. Moehringer. 2002. VDI 2206 - A New Guideline for the Design of Mechatronic Systems. IFAC Proceedings Volumes 35, 2 (2002), 785 -- 790."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2709310"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"J. Greenyer and T. Gutjahr. 2017. Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. In MoDELS 2017. IEEE 312--322.  J. Greenyer and T. Gutjahr. 2017. Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. In MoDELS 2017. IEEE 312--322.","DOI":"10.1109\/MODELS.2017.35"},{"key":"e_1_3_2_1_10_1","unstructured":"D. Hedin and A. Sabelfeld. 2012. A Perspective on Information-Flow Control. In Software Safety and Security. IOS Press 319--347.  D. Hedin and A. Sabelfeld. 2012. A Perspective on Information-Flow Control. In Software Safety and Security. IOS Press 319--347."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486046.2486055"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1780"},{"key":"e_1_3_2_1_13_1","volume-title":"Secure systems development with UML","author":"J\u00fcrjens J.","unstructured":"J. J\u00fcrjens . 2005. Secure systems development with UML . Springer-Verlag . J. J\u00fcrjens. 2005. Secure systems development with UML. Springer-Verlag."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2014.07.001"},{"key":"e_1_3_2_1_15_1","volume-title":"On the Composition of Secure Systems","author":"Mantel H.","unstructured":"H. Mantel . 2002. On the Composition of Secure Systems . In IEEE S&P. IEEE , 88--101. H. Mantel. 2002. On the Composition of Secure Systems. In IEEE S&P. IEEE, 88--101."},{"key":"e_1_3_2_1_16_1","volume-title":"ARES","author":"Moebius N.","year":"2009","unstructured":"N. Moebius , K. Stenzel , H. Grandy , and W. Reif . 2009. SecureMDD: A model-driven development method for secure smart card applications . In ARES 2009 . IEEE, 841--846. N. Moebius, K. Stenzel, H. Grandy, and W. Reif. 2009. SecureMDD: A model-driven development method for secure smart card applications. In ARES 2009. IEEE, 841--846."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2016.10.001"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.08.006"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2014.90"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"K. Pohl M. Broy H. Daemkes and H. H\u00f6nninger. 2016. Advanced Model-Based Engineering of Embedded Systems. Springer-Verlag.   K. Pohl M. Broy H. Daemkes and H. H\u00f6nninger. 2016. Advanced Model-Based Engineering of Embedded Systems. Springer-Verlag.","DOI":"10.1007\/978-3-319-48003-9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2106495"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005402006550664"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2485288.2485398"},{"key":"e_1_3_2_1_24_1","volume-title":"OpenPMF: A Model-Driven Security Framework for Distributed Systems. In ISSE","author":"Schreiner R.","year":"2004","unstructured":"R. Schreiner and U. Lang . 2004 . OpenPMF: A Model-Driven Security Framework for Distributed Systems. In ISSE 2004 . Vieweg, 138--147. R. Schreiner and U. Lang. 2004. OpenPMF: A Model-Driven Security Framework for Distributed Systems. In ISSE 2004. Vieweg, 138--147."},{"key":"e_1_3_2_1_25_1","volume-title":"Threat Modeling: Designing for Security","author":"Shostack A.","year":"2014","unstructured":"A. Shostack . 2014 . Threat Modeling: Designing for Security . John Wiley and Sons . A. Shostack. 2014. Threat Modeling: Designing for Security. John Wiley and Sons."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0194-4"},{"key":"e_1_3_2_1_27_1","first-page":"2920","article-title":"Engineering Security into Distributed Systems: A Survey of Methodologies","volume":"18","author":"Uzunov A. V.","year":"2012","unstructured":"A. V. Uzunov , E. B. Fern\u00e1ndez , and K. Falkner . 2012 . Engineering Security into Distributed Systems: A Survey of Methodologies . Journal of Universal Computer Science 18 , 20 (2012), 2920 -- 3006 . A. V. Uzunov, E. B. Fern\u00e1ndez, and K. Falkner. 2012. Engineering Security into Distributed Systems: A Survey of Methodologies. Journal of Universal Computer Science 18, 20 (2012), 2920--3006.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1002\/sec.819"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"T. Weilkiens. 2016. SYSMOD - The Systems Modeling Toolbox.  T. Weilkiens. 2016. SYSMOD - The Systems Modeling Toolbox.","DOI":"10.1016\/B978-0-12-805352-2.00005-4"}],"event":{"name":"ICSSP '18: International Conference on the Software and Systems Process 2018","location":"Gothenburg Sweden","acronym":"ICSSP '18"},"container-title":["Proceedings of the 2018 International Conference on Software and System Process"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3202710.3203159","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3202710.3203159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:22Z","timestamp":1750208902000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3202710.3203159"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,26]]},"references-count":29,"alternative-id":["10.1145\/3202710.3203159","10.1145\/3202710"],"URL":"https:\/\/doi.org\/10.1145\/3202710.3203159","relation":{},"subject":[],"published":{"date-parts":[[2018,5,26]]},"assertion":[{"value":"2018-05-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}