{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T23:15:06Z","timestamp":1763507706831,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,16]],"date-time":"2015-10-16T00:00:00Z","timestamp":1444953600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1136040, 1314925"],"award-info":[{"award-number":["1136040, 1314925"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,16]]},"DOI":"10.1145\/2808705.2808709","type":"proceedings-article","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T15:22:12Z","timestamp":1444144932000},"page":"79-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Secure RTOS Architecture for Building Automation"],"prefix":"10.1145","author":[{"given":"Xiaolong","family":"Wang","sequence":"first","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masaaki","family":"Mizuno","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitch","family":"Neilsen","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinming","family":"Ou","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. Raj","family":"Rajagopalan","sequence":"additional","affiliation":[{"name":"Honeywell, Phoenix, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Will G.","family":"Boldwin","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bryan","family":"Phillips","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Malicious control system cyber security attack case study--maroochy water services, australia. McLean","author":"Abrams M.","year":"2008","unstructured":"M. Abrams and J. Weiss . Malicious control system cyber security attack case study--maroochy water services, australia. McLean , VA : The MITRE Corporation , 2008 . M. Abrams and J. Weiss. Malicious control system cyber security attack case study--maroochy water services, australia. McLean, VA: The MITRE Corporation, 2008."},{"key":"e_1_3_2_1_2_1","volume-title":"Black Hat USA","author":"Alexander Bolshev G. C.","year":"2014","unstructured":"G. C. Alexander Bolshev . Icscorsair : How i will pwn your erp through 4--20 ma current loop . Black Hat USA , 2014 . G. C. Alexander Bolshev. Icscorsair: How i will pwn your erp through 4--20 ma current loop. Black Hat USA, 2014."},{"key":"e_1_3_2_1_3_1","volume-title":"Beyond SCADA: Networked Embedded Control for Cyber Physical Systems","author":"Anand M.","year":"2006","unstructured":"M. Anand , E. Cronin , M. Sherr , M. Blaze , Z. Ives , and I. Lee . Security challenges in next generation cyber physical systems . Beyond SCADA: Networked Embedded Control for Cyber Physical Systems , 2006 . M. Anand, E. Cronin, M. Sherr, M. Blaze, Z. Ives, and I. Lee. Security challenges in next generation cyber physical systems. Beyond SCADA: Networked Embedded Control for Cyber Physical Systems, 2006."},{"key":"e_1_3_2_1_4_1","volume-title":"XXIX Congresso da Sociedade Brasileira de Computa\u00e7ao","author":"Aroca R. V.","year":"2009","unstructured":"R. V. Aroca , G. Caurin , and S. Carlos-SP- Brasil . A real time operating systems (rtos) comparison . In XXIX Congresso da Sociedade Brasileira de Computa\u00e7ao , 2009 . R. V. Aroca, G. Caurin, and S. Carlos-SP-Brasil. A real time operating systems (rtos) comparison. In XXIX Congresso da Sociedade Brasileira de Computa\u00e7ao, 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2172\/986668"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1049\/cp.2013.1698"},{"key":"e_1_3_2_1_7_1","volume-title":"Tech. rep","author":"Buerki R.","year":"2013","unstructured":"R. Buerki and A.-K. Rueegsegger . Muen-an x86\/64 separation kernel for high assurance. Technical report , Tech. rep , 2013 . R. Buerki and A.-K. Rueegsegger. Muen-an x86\/64 separation kernel for high assurance. Technical report, Tech. rep, 2013."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966913.1966959"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.Workshops.2008.40"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/502059.502042"},{"key":"e_1_3_2_1_11_1","unstructured":"B. Cole. Wind river brings a 20 kbyte microkernel to the vxworks rtos. http:\/\/www.embedded.com. Accessed: 2015-06--20.  B. Cole. Wind river brings a 20 kbyte microkernel to the vxworks rtos. http:\/\/www.embedded.com. Accessed: 2015-06--20."},{"key":"e_1_3_2_1_12_1","first-page":"19","article-title":"Hacking your victims over power lines","author":"Dave Kennedy R. S.","year":"2011","unstructured":"R. S. Dave Kennedy . Hacking your victims over power lines . Def Con 19 , 2011 . R. S. Dave Kennedy. Hacking your victims over power lines. Def Con 19, 2011.","journal-title":"Def Con"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0926-5805(97)00018-6"},{"key":"e_1_3_2_1_14_1","volume-title":"Symantec Corp.","author":"Falliere N.","year":"2011","unstructured":"N. Falliere , L. O. Murchu , and E. Chien . W32. stuxnet dossier. White paper , Symantec Corp. , Security Response , 2011 . N. Falliere, L. O. Murchu, and E. Chien. W32. stuxnet dossier. White paper, Symantec Corp., Security Response, 2011."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2006.7"},{"key":"e_1_3_2_1_16_1","volume-title":"Black Hat USA","author":"Hernandez G.","year":"2014","unstructured":"G. Hernandez , O. Arias , D. Buentello , and Y. Jin . Smart nest thermostat: a smart spy in your home . Black Hat USA , 2014 . G. Hernandez, O. Arias, D. Buentello, and Y. Jin. Smart nest thermostat: a smart spy in your home. Black Hat USA, 2014."},{"key":"e_1_3_2_1_17_1","volume-title":"ISC-CERT, Apirl\/May\/June","author":"CERT.","year":"2013","unstructured":"ISC- CERT. Ics-cert monitor newsletters. Technical report , ISC-CERT, Apirl\/May\/June 2013 . ISC-CERT. Ics-cert monitor newsletters. Technical report, ISC-CERT, Apirl\/May\/June 2013."},{"key":"e_1_3_2_1_18_1","unstructured":"J. Jackson. Wind river updates vxworks os to join 'internet of things. http:\/\/www.pcworld.com. Accessed: 2015-06--20.  J. Jackson. Wind river updates vxworks os to join 'internet of things. http:\/\/www.pcworld.com. Accessed: 2015-06--20."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"M. Kadrich. Endpoint Security. Addison-Wesley Professional 2007.   M. Kadrich. Endpoint Security. Addison-Wesley Professional 2007.","DOI":"10.1016\/S1353-4858(08)70042-4"},{"key":"e_1_3_2_1_20_1","volume-title":"Black Hat USA","author":"Karsten Nohl J. L.","year":"2014","unstructured":"J. L. Karsten Nohl , Sascha Kri\u00dfler . Badusb -- on accessories that turn evil . Black Hat USA , 2014 . J. L. Karsten Nohl, Sascha Kri\u00dfler. Badusb -- on accessories that turn evil. Black Hat USA, 2014."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.849726"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1631687.1596566"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_24_1","volume-title":"International security","author":"Koblentz G. D.","year":"2010","unstructured":"G. D. Koblentz . Biosecurity reconsidered: Calibrating biological threats and responses . International security , 2010 . G. D. Koblentz. Biosecurity reconsidered: Calibrating biological threats and responses. International security, 2010."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"e_1_3_2_1_26_1","volume-title":"To kill a centrifuge: a technical analysis of what stuxnet's creators tried to achieve","author":"Langner R.","year":"2013","unstructured":"R. Langner . To kill a centrifuge: a technical analysis of what stuxnet's creators tried to achieve . Arlington, VA : Langner Group , 2013 . R. Langner. To kill a centrifuge: a technical analysis of what stuxnet's creators tried to achieve. Arlington, VA: Langner Group, 2013."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3956-8_1"},{"key":"e_1_3_2_1_28_1","volume-title":"Quantitatively assessing and visualising industrial system attack surfaces","author":"Leverett E. P.","year":"2011","unstructured":"E. P. Leverett . Quantitatively assessing and visualising industrial system attack surfaces . University of Cambridge , Darwin College , 2011 . E. P. Leverett. Quantitatively assessing and visualising industrial system attack surfaces. University of Cambridge, Darwin College, 2011."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/518501"},{"key":"e_1_3_2_1_30_1","volume-title":"Black Hat USA","author":"Luders S.","year":"2014","unstructured":"S. Luders . Why control system cybersecurity sucks . Black Hat USA , 2014 . S. Luders. Why control system cybersecurity sucks. Black Hat USA, 2014."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380790.2380805"},{"key":"e_1_3_2_1_32_1","volume-title":"Black Hat USA","author":"Molina J.","year":"2014","unstructured":"J. Molina . Learn how to control every room at a luxury hotel remotely: The dangers of insecure home automation deployment . Black Hat USA , 2014 . J. Molina. Learn how to control every room at a luxury hotel remotely: The dangers of insecure home automation deployment. Black Hat USA, 2014."},{"key":"e_1_3_2_1_33_1","volume-title":"Serial offenders: Widespread flaws in serial port servers. Security Street Rapid7","author":"Moore H.","year":"2013","unstructured":"H. Moore . Serial offenders: Widespread flaws in serial port servers. Security Street Rapid7 , 2013 . H. Moore. Serial offenders: Widespread flaws in serial port servers. Security Street Rapid7, 2013."},{"key":"e_1_3_2_1_34_1","article-title":"Safety-and security-critical services in building automation and control systems. Industrial Electronics","author":"Novak T.","year":"2010","unstructured":"T. Novak and A. Gerstinger . Safety-and security-critical services in building automation and control systems. Industrial Electronics , IEEE Transactions on , 2010 . T. Novak and A. Gerstinger. Safety-and security-critical services in building automation and control systems. Industrial Electronics, IEEE Transactions on, 2010.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_35_1","volume-title":"National Institutes of Health","author":"Health N. I.","year":"2008","unstructured":"N. I. of Health . National Institutes of Health (NIH) Design Requirements Manual for Biomedical Laboratories and Animal Research Facilities . National Institutes of Health , 2008 . N. I. of Health. National Institutes of Health (NIH) Design Requirements Manual for Biomedical Laboratories and Animal Research Facilities. National Institutes of Health, 2008."},{"key":"e_1_3_2_1_36_1","volume-title":"C. f. D. C. Human Services, Public Health Service, and N. I. o. H. Prevention. Biosafety in Microbiological and Biomedical Laboratories","author":"U.","year":"2009","unstructured":"U. D. of Health , C. f. D. C. Human Services, Public Health Service, and N. I. o. H. Prevention. Biosafety in Microbiological and Biomedical Laboratories , 5 th Edition. HHS , 2009 . U. D. of Health, C. f. D. C. Human Services, Public Health Service, and N. I. o. H. Prevention. Biosafety in Microbiological and Biomedical Laboratories, 5th Edition. HHS, 2009.","edition":"5"},{"key":"e_1_3_2_1_37_1","volume-title":"Department of Homeland Security","author":"D.","year":"2014","unstructured":"D. of Homeland Security. Dhs daily open source infrastructure report. Technical report , Department of Homeland Security , 2014 . D. of Homeland Security. Dhs daily open source infrastructure report. Technical report, Department of Homeland Security, 2014."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566181"},{"key":"e_1_3_2_1_39_1","unstructured":"QNX. Qnx os for security. http:\/\/www.qnx.com\/products\/certified_os\/secure-kernel.html. Accessed: 2015-06--20.  QNX. Qnx os for security. http:\/\/www.qnx.com\/products\/certified_os\/secure-kernel.html. Accessed: 2015-06--20."},{"key":"e_1_3_2_1_40_1","volume-title":"Black Hat Asia","author":"Rios B.","year":"2014","unstructured":"B. Rios . Owning a building: Exploit access control and facility management systems . Black Hat Asia , 2014 . B. Rios. Owning a building: Exploit access control and facility management systems. Black Hat Asia, 2014."},{"key":"e_1_3_2_1_41_1","volume-title":"SecNiche Security Labs","author":"Sood A. K.","year":"2011","unstructured":"A. K. Sood . Digging inside the vxworks os and firmware the holistic security . SecNiche Security Labs , 2011 . A. K. Sood. Digging inside the vxworks os and firmware the holistic security. SecNiche Security Labs, 2011."},{"key":"e_1_3_2_1_42_1","first-page":"407","volume-title":"Sicherheit","author":"Szl\u00f3sarczyk S.","year":"2014","unstructured":"S. Szl\u00f3sarczyk , S. Wendzel , J. Kaur , M. Meier , and F. Schubert . Towards suppressing attacks on and improving resilience of building automation systems-an approach exemplified using bacnet . In Sicherheit , pages 407 -- 418 , 2014 . S. Szl\u00f3sarczyk, S. Wendzel, J. Kaur, M. Meier, and F. Schubert. Towards suppressing attacks on and improving resilience of building automation systems-an approach exemplified using bacnet. In Sicherheit, pages 407--418, 2014."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.156"},{"key":"e_1_3_2_1_44_1","volume-title":"May","author":"United States Department of Agriculture","year":"2012","unstructured":"United States Department of Agriculture , ARS Offices in Headquarters, Areas, and Locations. ARS Facilities Design Standards , May , 2012 . United States Department of Agriculture, ARS Offices in Headquarters, Areas, and Locations. ARS Facilities Design Standards, May, 2012."},{"key":"e_1_3_2_1_45_1","volume-title":"Transforming the market: Energy efficiency in buildings. Technical report","author":"WBSCD.","year":"2009","unstructured":"WBSCD. Transforming the market: Energy efficiency in buildings. Technical report , World Business Council for Sustainable Development (WBSCD) , 2009 . WBSCD. Transforming the market: Energy efficiency in buildings. Technical report, World Business Council for Sustainable Development (WBSCD), 2009."},{"key":"e_1_3_2_1_46_1","unstructured":"K. Zetter. Researchers hack building control system at google australia office. http:\/\/www.wired.com. Accessed: 2015-01--26.  K. Zetter. Researchers hack building control system at google australia office. http:\/\/www.wired.com. Accessed: 2015-01--26."},{"key":"e_1_3_2_1_47_1","volume-title":"Stuxnet and the Launch of the World's First Digital Weapon","author":"Zetter K.","year":"2014","unstructured":"K. Zetter . Countdown to Zero Day : Stuxnet and the Launch of the World's First Digital Weapon . Crown Publishing Group , New York, NY, USA , 2014 . K. Zetter. Countdown to Zero Day: Stuxnet and the Launch of the World's First Digital Weapon. Crown Publishing Group, New York, NY, USA, 2014."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/iThings\/CPSCom.2011.34"}],"event":{"name":"CCS'15: The 22nd ACM Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Denver Colorado USA","acronym":"CCS'15"},"container-title":["Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and\/or PrivaCy"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2808705.2808709","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2808705.2808709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:08Z","timestamp":1750223228000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2808705.2808709"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,16]]},"references-count":48,"alternative-id":["10.1145\/2808705.2808709","10.1145\/2808705"],"URL":"https:\/\/doi.org\/10.1145\/2808705.2808709","relation":{},"subject":[],"published":{"date-parts":[[2015,10,16]]},"assertion":[{"value":"2015-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}