{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:40:38Z","timestamp":1762033238117,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-10975-6_15","type":"book-chapter","created":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T12:26:14Z","timestamp":1409747174000},"page":"194-210","source":"Crossref","is-referenced-by-count":6,"title":["Expert Knowledge Based Design and Verification of Secure Systems with Embedded Devices"],"prefix":"10.1007","author":[{"given":"Vasily","family":"Desnitsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Kotenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1147\/sj.302.0206","volume":"30","author":"D.G. Abraham","year":"1991","unstructured":"Abraham, D.G., Dolan, G.M., Double, G.P., Stevens, J.V.: Transaction security system. IBM Systems Journal\u00a030(2), 206\u2013228 (1991)","journal-title":"IBM Systems Journal"},{"issue":"6","key":"15_CR2","doi-asserted-by":"publisher","first-page":"3373","DOI":"10.1109\/TSP.2010.2044249","volume":"58","author":"A. Agaskar","year":"2010","unstructured":"Agaskar, A., He, T., Tong, L.: Distributed Detection of Multi-hop Information Flows with Fusion Capacity Constraints. IEEE Transactions on Signal Processing\u00a058(6), 3373\u20133383 (2010)","journal-title":"IEEE Transactions on Signal Processing"},{"issue":"10","key":"15_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MC.2001.955096","volume":"34","author":"W.A. Arbaugh","year":"2001","unstructured":"Arbaugh, W.A., van Doorn, L.: Embedded security: challenges and concerns. Computer Journal\u00a034(10), 40\u201341 (2001)","journal-title":"Computer Journal"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Braghin, C., Sharygina, N., Barone-Adesi, K.: A model checking-based approach for security policy verification of mobile systems. Formal Aspects of Computing Journal, 627\u2013648 (2011)","DOI":"10.1007\/s00165-010-0159-y"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Burleson, W., Clark, S.S., Ransford, B., Fu, K.: Design challenges for secure implantable medical devices. In: 49th ACM\/EDAC\/IEEE Design Automation Conference (DAC), pp. 12\u201317 (2012)","DOI":"10.1145\/2228360.2228364"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-33704-8_13","volume-title":"Computer Network Security","author":"A. Chechulin","year":"2012","unstructured":"Chechulin, A., Kotenko, I., Desnitsky, V.: An approach for network information flow analysis for systems of embedded components. In: Kotenko, I., Skormin, V. (eds.) MMM-ACNS 2012. LNCS, vol.\u00a07531, pp. 146\u2013155. Springer, Heidelberg (2012)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Cederquist, J.G., Torabi Dashti, M.: An intruder model for verifying liveness in security protocols. In: Proceedings of FMSE 2006, pp. 23\u201332 (2006)","DOI":"10.1145\/1180337.1180340"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-33704-8_23","volume-title":"Computer Network Security","author":"V. Desnitsky","year":"2012","unstructured":"Desnitsky, V., Kotenko, I., Chechulin, A.: Configuration-based approach to embedded device security. In: Kotenko, I., Skormin, V. (eds.) MMM-ACNS 2012. LNCS, vol.\u00a07531, pp. 270\u2013285. Springer, Heidelberg (2012)"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1049\/ce:20040207","volume":"2","author":"N. Dick","year":"2004","unstructured":"Dick, N., McCallum, N.: High-speed security Embedded security. Communications Engineer Journal\u00a02(2), 37\u201339 (2004)","journal-title":"Communications Engineer Journal"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/54.844334","volume":"17","author":"M. Eisenring","year":"2000","unstructured":"Eisenring, M., Thiele, L., Zitzler, E.: Conflicting criteria in embedded system design. IEEE Design & Test of Computers Journal\u00a017(2), 51\u201359 (2000)","journal-title":"IEEE Design & Test of Computers Journal"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Feigenbaum, J., Freedman, M.J., Tomas, S., Shostack, A.: Privacy Engineering for Digital Rights Management Systems. In: Proceedings of the ACM Workshop on Security and Privacy in Digital Rights Management, pp. 76\u2013105 (2001)","DOI":"10.1007\/3-540-47870-1_6"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Gogniat, G., Wolf, T., Burleson, W.: Reconfigurable Security Primitive for Embedded Systems. In: Proceedings of International Symposium on In System-on-Chip, pp. 23\u201328 (2005)","DOI":"10.1109\/ISSOC.2005.1595635"},{"key":"15_CR13","unstructured":"Grand, J.: Practical Secure Hardware Design for Embedded Systems. In: Proceedings of the 2004 Embedded Systems Conference, San Francisco, California, April 1 (2004)"},{"key":"15_CR14","unstructured":"Hedin, D., Sabelfeld, A.: A Perspective on Information-Flow. In: summer school Control Tools for Analysis and Verification of Software Safety and Security, Marktoberdorf, Germany (2011)"},{"issue":"4","key":"15_CR15","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/5254.708433","volume":"13","author":"W.E. Juengst","year":"1998","unstructured":"Juengst, W.E., Heinrich, M.: Using Resource Balancing to Configure Modular Systems. IEEE Computer Society Intelligent Systems and their Applications\u00a013(4), 50\u201358 (1998)","journal-title":"IEEE Computer Society Intelligent Systems and their Applications"},{"key":"15_CR16","unstructured":"Knezevic, M., Rozic, V., Verbauwhede, I.: Design Methods for Embedded Security. Telfor Journal\u00a01(2) (2009)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Kocher, P., Lee, R., Mcgraw, G., Ravi, S.: Security as a new dimension in embedded system design. In: Proceedings of the 41st Design Automation Conference (DAC 2004), pp. 753\u2013760 (2004)","DOI":"10.1145\/996566.996771"},{"key":"15_CR18","unstructured":"Kommerling, O., Kuhn, M.G.: Design principles for tamper-resistant smartcard processors. In: Proceedings of the USENIX Workshop on Smartcard Technology, pp. 9\u201320 (1999)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Koopman, P.: Embedded System Security. IEEE Computer\u00a0(7) (2004)","DOI":"10.1109\/MC.2004.52"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Kotenko, I., Polubelova, O.: Verification of Security Policy Filtering Rules by Model Checking. In: Proceedings of IEEE Fourth International Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications(IDAACS 2011), pp. 706\u2013710 (2011)","DOI":"10.1109\/IDAACS.2011.6072862"},{"key":"15_CR21","unstructured":"Object Management Group, The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems, Version 1.1 (2011)"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Moyers, B.R., Dunning, J.P., Marchany, R.C., Tron, J.G.: Effects of Wi-Fi and Bluetooth Battery Exhaustion Attacks on Mobile Devices. In: Proceedings of the 43rd Hawaii International Conference on System Sciences (HICSS 2010), pp. 1\u20139. IEEE Computer Society (2010)","DOI":"10.1109\/HICSS.2010.170"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Pieters, W., Coles-Kemp, L.: Reducing normative conflicts in information security. In: Proceedings of the 2011 Workshop on New Security Paradigms Workshop, pp. 11\u201324 (2011)","DOI":"10.1145\/2073276.2073279"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Pistoia, M., Chandra, S., Fink, S., Yahav, E.: A Survey of Static Analysis Methods for Identifying Security Vulnerabilities In Software Systems. IBM Systems Journal (2007)","DOI":"10.1147\/sj.462.0265"},{"key":"15_CR25","unstructured":"Rae, A.J., Wildman, L.P.: A Taxonomy of Attacks on Secure Devices. In: Australian Information Warfare and IT Security, Australia, November 20-21, pp. 251\u2013264 (2003)"},{"key":"15_CR26","unstructured":"Rae, A., Fidge, C.: Identifying Critical Components during Information Security Evaluations. Journal of Research and Practice in Information Technology, 391\u2013402 (2005)"},{"issue":"3","key":"15_CR27","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1145\/1015047.1015049","volume":"3","author":"S. Ravi","year":"2004","unstructured":"Ravi, S., Raghunathan, A., Kocher, P., Hattangady, S.: Security in Embedded Systems: Design Challenges. ACM Transactions on Embedded Computing Systems\u00a03(3), 461\u2013491 (2004)","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Ruiz, J.F., Harjani, R., Ma\u00f1a, A., Desnitsky, V., Kotenko, I., Chechulin, A.: A Methodology for the Analysis and Modeling of Security Threats and Attacks for Systems of Embedded Components. In: Proceedings of the 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2012), Munich, Germany, February 15-17 (2012)","DOI":"10.1109\/PDP.2012.36"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Ruiz, J.F., Rein, A., Arjona, M., Mana, A., Monsifrot, A., Morvan, M.: Security Engineering and Modelling of Set-Top Boxes. In: 2012 ASE\/IEEE International Conference on Proceedings of BioMedical Computing (BioMedCom), pp. 113\u2013122 (2012)","DOI":"10.1109\/BioMedCom.2012.25"},{"issue":"4","key":"15_CR30","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/5254.708432","volume":"13","author":"D. Sabin","year":"1998","unstructured":"Sabin, D., Weigel, R.: Product configuration frameworks-a survey. Intelligent Systems and their Applications IEEE Computer Society\u00a013(4), 42\u201349 (1998)","journal-title":"Intelligent Systems and their Applications IEEE Computer Society"},{"key":"15_CR31","unstructured":"SecFutur. Design of Secure and energy-efficient embedded systems for Future internet applications, FP7 Project Web site, http:\/\/www.secfutur.eu"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Sprintson, A., El Rouayheb, S., Georghiades, C.: A New Construction Method for Networks from Matroids. In: Proceedings of the 2009 Symposium on Information Theory (ISIT 2009) (2009)","DOI":"10.1109\/ISIT.2009.5205314"},{"key":"15_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-33704-8_2","volume-title":"Computer Network Security","author":"Z. Wang","year":"2012","unstructured":"Wang, Z., Johnson, R., Murmuria, R., Stavrou, A.: Exposing Security Risks for Commercial Mobile Devices. In: Kotenko, I., Skormin, V. (eds.) MMM-ACNS 2012. LNCS, vol.\u00a07531, pp. 3\u201321. Springer, Heidelberg (2012)"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Wei, G., Qin, Y.: An Approach of Product Configuration Based on Decision Tree and Minimum Conflicts Repair Algorithm. In: Proceedings of the International Conference on Information Management, Innovation Management and Industrial Engineering (ICII 2009), vol.\u00a01, pp. 126\u2013129 (2009)","DOI":"10.1109\/ICIII.2009.37"},{"issue":"4","key":"15_CR35","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/5254.708431","volume":"13","author":"B. Yu","year":"1998","unstructured":"Yu, B., Skovgaard, H.J.: A Configuration Tool to Increase Product Competitiveness. IEEE Intelligent Systems\u00a013(4), 34\u201341 (1998)","journal-title":"IEEE Intelligent Systems"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10975-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T10:40:39Z","timestamp":1689504039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10975-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10975-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}