{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T10:24:41Z","timestamp":1781519081849,"version":"3.54.1"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2015,1,1]]},"DOI":"10.1109\/tdsc.2014.2312327","type":"journal-article","created":{"date-parts":[[2014,3,18]],"date-time":"2014-03-18T18:04:17Z","timestamp":1395165857000},"page":"16-30","source":"Crossref","is-referenced-by-count":185,"title":["Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems"],"prefix":"10.1109","volume":"12","author":[{"given":"Robert","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ing-Ray","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","DOI":"10.1201\/9780849379253-19","article-title":"Security solutions for pervasive healthcare","author":"venkatasubramanian","year":"2007","journal-title":"Security in Distributed Grid Mobile and Pervasive Computing"},{"key":"ref32","first-page":"51","article-title":"Multi-agent intrusion detection system in industrial network using ant colony clustering approach and unsupervised feature extraction","author":"tsang","year":"0","journal-title":"Proc IEEE Int Conf Ind Tech"},{"key":"ref31","article-title":"Activity recognition in the home using simple and ubiquitous sensors","author":"tapia","year":"0","journal-title":"Pervasive Computing"},{"key":"ref30","author":"ross","year":"2009","journal-title":"Introduction to Probability Models"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795210"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2008.11.001"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2005.09.003"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/69.368522"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(98)00002-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2009.54"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/39.9.767"},{"key":"ref14","first-page":"44","article-title":"Analyzing dynamic voting using petri nets","author":"chen","year":"0","journal-title":"Proc 15th IEEE Symp Rel Distrib Syst"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s005300050152"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(02)00128-1"},{"key":"ref17","first-page":"127","article-title":"Using model-based intrusion detection for SCADA networks","author":"cheung","year":"0","journal-title":"Proc SCADA Security Sci Symp"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2010.2040534"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2009.68"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1839294.1839305"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/icc.2011.5963250"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2013.2240891"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CRISIS.2010.5764923"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1994.291149"},{"key":"ref29","first-page":"353","article-title":"EMERALD: Event monitoring enabling responses to anomalous live disturbances","author":"porras","year":"0","journal-title":"Proc 20th Nat Inf Syst Security Conf"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCOMM.2012.031912.110179"},{"key":"ref8","first-page":"1","article-title":"Challenges for securing cyber physical systems","author":"c\u00e1rdenas","year":"0","journal-title":"Proc 1st Workshop Cyber-Phys Syst Security"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2099234"},{"key":"ref2","article-title":"Security challenges in next generation cyber physical systems","author":"anand","year":"2006","journal-title":"Beyond SCADA Netw Embedded Control for Cyber Phys Syst"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/24.85458"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2013.043013.120282"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2011.03.016"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-75462-8_14"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1089761.1089765"},{"key":"ref24","first-page":"1","article-title":"Towards intrusion detection in wireless sensor networks","author":"ioannis","year":"0","journal-title":"Proc 13th Eur Wireless Conf"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-005-1557-x"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2010.166"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837463"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/7008601\/06774867.pdf?arnumber=6774867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T04:33:37Z","timestamp":1648614817000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6774867\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,1]]},"references-count":36,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2014.2312327","relation":{},"ISSN":["1545-5971"],"issn-type":[{"value":"1545-5971","type":"print"}],"subject":[],"published":{"date-parts":[[2015,1,1]]}}}