{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T07:45:04Z","timestamp":1767771904455},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/sies.2014.6871210","type":"proceedings-article","created":{"date-parts":[[2014,8,18]],"date-time":"2014-08-18T21:02:39Z","timestamp":1408395759000},"page":"244-251","source":"Crossref","is-referenced-by-count":6,"title":["Case study on combined validation of safety & security requirements"],"prefix":"10.1109","author":[{"given":"Michal","family":"Sojka","sequence":"first","affiliation":[]},{"given":"Michal","family":"Krec","sequence":"additional","affiliation":[]},{"given":"Zdenek","family":"Hanzalek","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","article-title":"The can networking subsystem of the linux kernel","author":"hartkopp","year":"2012","journal-title":"Proceedings of the 13th ICC"},{"journal-title":"SW-and HW-in-the-loop Testbeds for AUTOSAR EMotor Driver","year":"2014","author":"krec?","key":"16"},{"journal-title":"MF 624 Multifunction I\/O Card User's Manual","year":"2006","key":"13"},{"journal-title":"Specification of Can Driver","year":"2008","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MMAR.2012.6347831"},{"journal-title":"DCE FEE CTU Linux Target for Simulink Embedded Coder Project","year":"0","key":"12"},{"journal-title":"ISO\/IEC 15408 2009 Information Technology - Security Techniques - Evaluation Criteria for IT Security","year":"2008","key":"3"},{"key":"2","article-title":"Comprehensive experimental analyses of automotive attack surfaces","author":"checkoway","year":"2011","journal-title":"Proceedings of the 20th USENIX Conference on Security"},{"journal-title":"ISO\/DIS 26262 2010(e)-Road Vehicles-Functional Safety","year":"2010","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/41.9176"},{"journal-title":"AG MCISAR-AUDO-UM-EmoDriver Documentation Release V1 3","year":"2012","key":"7"},{"journal-title":"Specification of the Virtual Functional Bus","year":"2010","key":"6"},{"key":"5","article-title":"MaCAN-message authenticated CAN","author":"hartkopp","year":"2012","journal-title":"ESC Conference"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(98)00205-6"},{"journal-title":"MATLAB Documentation","year":"2012","key":"9"},{"journal-title":"TC1798 32-bit Microcontroller-Data Sheet V1 0","year":"2012","key":"8"}],"event":{"name":"2014 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014)","start":{"date-parts":[[2014,6,18]]},"location":"Pisa","end":{"date-parts":[[2014,6,20]]}},"container-title":["Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6867218\/6871170\/06871210.pdf?arnumber=6871210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:52:29Z","timestamp":1602690749000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6871210"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/sies.2014.6871210","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}