{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T23:14:37Z","timestamp":1763507677411,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/rtas.2013.6531088","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T18:55:18Z","timestamp":1372186518000},"page":"153-162","source":"Crossref","is-referenced-by-count":14,"title":["On confidentiality-preserving real-time locking protocols"],"prefix":"10.1109","author":[{"given":"M.","family":"Volp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Engel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Hamann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Hartig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1109\/69.895799","article-title":"Integrating security and realtime requirements using covert channel capacity","volume":"12","author":"son","year":"2000","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/359060.359076"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1988.51121"},{"key":"18","article-title":"Real-time resource-sharing under clustered scheduling: Mutex, reader-writer, and k-exclusion locks","author":"brandenburg","year":"2011","journal-title":"EMSOFT"},{"journal-title":"Resource control for hard real-time systems A review","year":"1991","author":"audsley","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2007.8"},{"key":"13","article-title":"Avoiding timing channels in fixed priority schedulers","author":"vo?lp","year":"2008","journal-title":"Asian Conference on Computer and Communication Security (ASIACCS '08)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"12","article-title":"Covert timing channel analysis of rate monotonic real-time scheduling algorithm in mls systems","author":"son","year":"2006","journal-title":"7th Annual IEEE Information Assurance Workshop"},{"key":"21","article-title":"A secure real-time concurrency control protocol for mobile distributed real-time databases","volume":"7","author":"xiao","year":"2007","journal-title":"IJCSNS International Journal of Computer Science and Network Security"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.16"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2002.1033780"},{"journal-title":"Yearly Report on Algorithms and Keysizes (2010-2011)","year":"2011","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_16"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100054"},{"key":"7","first-page":"19","article-title":"Making information flow explicit in histar","author":"zeldovich","year":"2006","journal-title":"OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1314299.1314302"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.21"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325702"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"}],"event":{"name":"2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2013,4,9]]},"location":"Philadelphia, PA","end":{"date-parts":[[2013,4,11]]}},"container-title":["2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6523367\/6531071\/06531088.pdf?arnumber=6531088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T15:14:08Z","timestamp":1498058048000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6531088\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/rtas.2013.6531088","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}