{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T08:37:40Z","timestamp":1759826260512,"version":"3.28.0"},"reference-count":47,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/edcc.2015.17","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T22:16:48Z","timestamp":1452205008000},"page":"1-12","source":"Crossref","is-referenced-by-count":7,"title":["Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems"],"prefix":"10.1109","author":[{"given":"Farid Molazem","family":"Tabrizi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karthik","family":"Pattabiraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"1","article-title":"Characterization of the error resiliency of power grid substation devices","author":"tseng","year":"2012","journal-title":"DSN"},{"year":"0","key":"ref38"},{"journal-title":"Systems security engineering An integrated approach to building trustworthy resilient systems","year":"2014","author":"mcevilley","key":"ref33"},{"key":"ref32","article-title":"A neural network based system for intrusion detection and classification of attacks","author":"moradi","year":"2004","journal-title":"AISTATS"},{"key":"ref31","article-title":"SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems","author":"mohan","year":"2013","journal-title":"RTAS"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_11"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2014.12"},{"year":"0","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095812"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.005"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_39"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICET.2009.5353204"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48119-2_16"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"year":"0","key":"ref13"},{"key":"ref14","article-title":"Fast LTL to Büchi automata - translation","author":"gastin","year":"2001","journal-title":"Proceedings of CAV'01 volume 2102 of Lecture Notes in Computer Science"},{"key":"ref15","article-title":"Efficient context-sensitive intrusion detection","author":"giffin","year":"2004","journal-title":"Proceedings of the 11th NDSS Symposium"},{"key":"ref16","article-title":"Efficient runtime monitoring with metric temporal logic: A case study in the android operating system","author":"gunadi","year":"2014","journal-title":"FM 2014 Formal Methods volume 8442 of Lecture Notes in Computer Science"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICON.2003.1266245"},{"key":"ref18","first-page":"42","article-title":"A simple and efficient hidden markov model scheme for host-based anomaly intrusion detection","volume":"23","author":"jiankun","year":"2009","journal-title":"Netwrk Mag of Global Internetwkg"},{"key":"ref19","article-title":"Robust support vector machines for anomaly detection","author":"hu","year":"2003","journal-title":"Proc ICMLA"},{"journal-title":"Smart Meter Crypto Flaw Worse Than Thought","year":"2010","author":"lewson","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_1"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75292-9_20"},{"journal-title":"International Journal of Electronics and Computer Science Engineering (lJECSE)","year":"2013","author":"pandya","key":"ref3"},{"key":"ref6","article-title":"Software testing fundamentals-concepts, roles, and terminology","author":"bentley","year":"2008","journal-title":"Technical report SAS Institute"},{"key":"ref29","first-page":"132","article-title":"Monitoring business constraints with linear temporal logic: An approach based on colored automata","author":"maggi","year":"2011","journal-title":"Business Process Management volume 6896 of Lecture Notes in Computer Science"},{"year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2011.30"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTGRID.2010.5622068"},{"journal-title":"CERT research anual report","year":"2009","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36415-3_26"},{"journal-title":"NIST Social Publication 800–55 Revision 1","year":"2008","key":"ref1"},{"key":"ref46","article-title":"Security pros question deployment of smart meters","author":"zetter","year":"2010","journal-title":"Threat Level Privacy Crime and Security Online"},{"year":"0","key":"ref20"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2002.1017701"},{"year":"0","key":"ref22"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICNC.2014.6975996"},{"year":"0","key":"ref21"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2001.924296"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2010.49"},{"key":"ref41","first-page":"238","article-title":"An automata-theoretic approach to linear temporal logic","author":"vardi","year":"1996","journal-title":"Logics for Concurrency volume 1043 of Lecture Notes in Computer Science"},{"year":"0","key":"ref23"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(83)80051-5"},{"key":"ref26","article-title":"Unified architecture for large-scale attested metering","author":"michael","year":"2007","journal-title":"Proceedings of HICCS'07"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1999.766910"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"}],"event":{"name":"2015 11th European Dependable Computing Conference (EDCC)","start":{"date-parts":[[2015,9,7]]},"location":"Paris, France","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 11th European Dependable Computing Conference (EDCC)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/7371542\/7371940\/07371950.pdf?arnumber=7371950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:38:09Z","timestamp":1602686289000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/7371950"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":47,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/edcc.2015.17","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}