{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T08:28:56Z","timestamp":1746088136846,"version":"3.37.3"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:00:00Z","timestamp":1619827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","award":["NRF2014NCR-NCR001-30"],"award-info":[{"award-number":["NRF2014NCR-NCR001-30"]}],"id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Satellite of Excellence in Trustworthy Software System","award":["NRF2018NCR-NSOE003-0001"],"award-info":[{"award-number":["NRF2018NCR-NSOE003-0001"]}]},{"name":"National Cybersecurity R&D Directorate"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2021,5,1]]},"DOI":"10.1109\/tdsc.2019.2919693","type":"journal-article","created":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T19:47:19Z","timestamp":1559159239000},"page":"1489-1510","source":"Crossref","is-referenced-by-count":6,"title":["Trace-Length Independent Runtime Monitoring of Quantitative Policies"],"prefix":"10.1109","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3728-9541","authenticated-orcid":false,"given":"Xiaoning","family":"Du","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2695-5636","authenticated-orcid":false,"given":"Alwen","family":"Tiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7797-911X","authenticated-orcid":false,"given":"Kun","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7300-9215","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"107","article-title":"How useful are existing monitoring languages for securing android apps?","author":"arzt","year":"2013","journal-title":"Proc Annu Airline Travel Payments Summit"},{"year":"2011","key":"ref38"},{"article-title":"CPU hardware performance counters for security. BlackHat USA 2015 briefing","year":"2015","author":"herath","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40667-1_15"},{"article-title":"Exploiting the DRAM rowhammer bug to gain kernel privileges","year":"2015","author":"seaborn","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665726"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931043"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2018.07.024"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2897845.2897856"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2018.2889924"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568229"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254075"},{"year":"2011","key":"ref29"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1025"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2008.08.003"},{"key":"ref22","first-page":"260","article-title":"Adventures in automotive networks and control units","volume":"21","author":"miller","year":"2013","journal-title":"DEF CON"},{"key":"ref21","first-page":"1","article-title":"Hopping on the CAN bus","author":"evenchick","year":"2015","journal-title":"Proc Black Hat Asia"},{"key":"ref24","first-page":"94","article-title":"A survey of remote automotive attack surfaces","volume":"2014","author":"miller","year":"2014","journal-title":"Black Hat USA"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/iThings-GreenCom-CPSCom-SmartData.2016.52"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICOIN.2016.7427089"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/WCICSS.2015.7420322"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn076"},{"key":"ref51","first-page":"1","article-title":"Rule-based runtime verification revisited","volume":"17","author":"havelund","year":"2012","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-3399-3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_24"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.01.029"},{"year":"2011","key":"ref40"},{"key":"ref12","article-title":"ROS: An open-source robot operating system","volume":"3","author":"quigley","year":"2009","journal-title":"Proc ICRA Workshop Open Source Softw"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_15"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35861-6_4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223844"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45187-7_17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_6"},{"key":"ref19","first-page":"12","article-title":"Anomaly-based intrusion detection for scada systems","author":"yang","year":"2006","journal-title":"Proc Nuclear Plant Instrumentation Control Human-Mach Interface Technol"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISSA.2012.6320432"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_21"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03466-4_6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.16"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_20"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_3"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_4"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_19"},{"article-title":"From SOLOIST to CLTLB (3): Checking quantitative properties of service-based applications","year":"2013","author":"bianculli","key":"ref45"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2005.26"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_38"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_15"},{"year":"2018","key":"ref41"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2010.20"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_6"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/9430778\/08725514.pdf?arnumber=8725514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:05:12Z","timestamp":1642003512000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8725514\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,1]]},"references-count":52,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2019.2919693","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"type":"print","value":"1545-5971"},{"type":"electronic","value":"1941-0018"},{"type":"electronic","value":"2160-9209"}],"subject":[],"published":{"date-parts":[[2021,5,1]]}}}