{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T15:49:12Z","timestamp":1782834552680,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,3,18]],"date-time":"2008-03-18T00:00:00Z","timestamp":1205798400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["4700"],"award-info":[{"award-number":["4700"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,3,18]]},"DOI":"10.1145\/1368310.1368320","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:35:39Z","timestamp":1210876539000},"page":"44-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Avoiding timing channels in fixed-priority schedulers"],"prefix":"10.1145","author":[{"given":"Marcus","family":"V\u00f6lp","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claude-Joachim","family":"Hamann","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hermann","family":"H\u00e4rtig","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Dresden, Dresden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ARINC. ARINC 653-1 Standard.  ARINC. ARINC 653-1 Standard ."},{"key":"e_1_3_2_1_2_1","volume-title":"4th IFIP Working Conference on Dependable Computing for Critical Applications","author":"Boucher P.","year":"1994","unstructured":"P. Boucher , R. Clark , I. Greenberg , D. Jensen , and D. Wells . Towards a multilevel-secure, best-effort real-time scheduler . In 4th IFIP Working Conference on Dependable Computing for Critical Applications , San Diego, CA, USA , Jan 1994 . P. Boucher, R. Clark, I. Greenberg, D. Jensen, and D. Wells. Towards a multilevel-secure, best-effort real-time scheduler. In 4th IFIP Working Conference on Dependable Computing for Critical Applications, San Diego, CA, USA, Jan 1994."},{"key":"e_1_3_2_1_3_1","volume-title":"Version X.2. Technical report","author":"Dannowski U.","year":"2004","unstructured":"U. Dannowski , J. LeVasseur , E. Skoglund , and V. Uhlig . L4 eXperimental Kernel Reference Manual , Version X.2. Technical report , University of Karlsruhe , 2004 . Latest version available from: http:\/\/14hq.org\/docs\/manuals\/. U. Dannowski, J. LeVasseur, E. Skoglund, and V. Uhlig. L4 eXperimental Kernel Reference Manual, Version X.2. Technical report, University of Karlsruhe, 2004. Latest version available from: http:\/\/14hq.org\/docs\/manuals\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/827269.828992"},{"key":"e_1_3_2_1_5_1","volume-title":"The Nizza Secure-System Architecture. In First International Conference on Collaborative Computing: Networking, Applications and Worksharing","author":"H\u00e4rtig H.","year":"2005","unstructured":"H. H\u00e4rtig , M. Hohmuth , N. Feske , C. Helmuth , A. Lackorzynski , F. Mehnert , and M. Peter . The Nizza Secure-System Architecture. In First International Conference on Collaborative Computing: Networking, Applications and Worksharing , San Jose, California, USA , Dec. 2005 . H. H\u00e4rtig, M. Hohmuth, N. Feske, C. Helmuth, A. Lackorzynski, F. Mehnert, and M. Peter. The Nizza Secure-System Architecture. In First International Conference on Collaborative Computing: Networking, Applications and Worksharing, San Jose, California, USA, Dec. 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1991.130768"},{"key":"e_1_3_2_1_7_1","volume-title":"Lattice Scheduling and Covert Channels. In IEEE Symposium on Security and Privacy","author":"Hu W.","year":"1992","unstructured":"W. Hu . Lattice Scheduling and Covert Channels. In IEEE Symposium on Security and Privacy , Washington, DC, USA , 1992 . W. Hu. Lattice Scheduling and Covert Channels. In IEEE Symposium on Security and Privacy, Washington, DC, USA, 1992."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/168588.168604"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/244764.244765"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/522062.855421"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1989.63567"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1989.63567"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224075"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_15_1","volume-title":"Real-Time Systems","author":"Liu J. W. S.","year":"2000","unstructured":"J. W. S. Liu . Real-Time Systems . Prentice Hall , 2000 . J. W. S. Liu. Real-Time Systems. Prentice Hall, 2000."},{"key":"e_1_3_2_1_16_1","unstructured":"Lynuxworks. Lynxos: Partitioning operating systems vs. process-based operating systems. http:\/\/www.lynuxworks.com\/products\/whitepapers\/partition.php.  Lynuxworks. Lynxos: Partitioning operating systems vs. process-based operating systems. http:\/\/www.lynuxworks.com\/products\/whitepapers\/partition.php."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"S.\n      Owre J. M.\n      Rushby and \n      N.\n      Shankar\n  . \n  PVS: A prototype verification system\n  . In D. Kapur editor 11th International Conference on Automated Deduction (CADE) volume \n  607\n   of \n  Lecture Notes in Artificial Intelligence pages \n  748\n  --\n  752 Saratoga NY June \n  1992\n  . \n  Springer-Verlag\n  .   S. Owre J. M. Rushby and N. Shankar. PVS: A prototype verification system. In D. Kapur editor 11th International Conference on Automated Deduction (CADE) volume 607 of Lecture Notes in Artificial Intelligence pages 748--752 Saratoga NY June 1992. Springer-Verlag.","DOI":"10.1007\/3-540-55602-8_217"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/882482.883804"},{"key":"e_1_3_2_1_20_1","volume-title":"ACM Symposium on Information, Computer and Communications Security (ASIACCS'06)","author":"Russo A.","year":"2006","unstructured":"A. Russo , J. Hughes , D. Naumann , and A. Sabelfeld . Closing itnernal timing channels by transformation . In ACM Symposium on Information, Computer and Communications Security (ASIACCS'06) , 2006 . A. Russo, J. Hughes, D. Naumann, and A. Sabelfeld. Closing itnernal timing channels by transformation. In ACM Symposium on Information, Computer and Communications Security (ASIACCS'06), 2006."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.29"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/794200.795151"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268975"},{"key":"e_1_3_2_1_25_1","volume-title":"7th Annual IEEE Information Assurance Workshop","author":"Son J.","year":"2006","unstructured":"J. Son and J. Alves-Foss . Covert timing channel analysis of rate monotonic real-time scheduling algorithm in mls systems . In 7th Annual IEEE Information Assurance Workshop , West Point, NY, USA , June 2006 . J. Son and J. Alves-Foss. Covert timing channel analysis of rate monotonic real-time scheduling algorithm in mls systems. In 7th Annual IEEE Information Assurance Workshop, West Point, NY, USA, June 2006."},{"key":"e_1_3_2_1_26_1","unstructured":"M. V\u00f6lp C. J. Hamann and H. H\u00e4rtig. Avoiding Timing Channels in Fixed-Priority Schedulers - PVS Sources. available from http:\/\/os.inf.tudresden.de\/~voelp\/sources\/sec_rt_trans.tgz.  M. V\u00f6lp C. J. Hamann and H. H\u00e4rtig. Avoiding Timing Channels in Fixed-Priority Schedulers - PVS Sources. available from http:\/\/os.inf.tudresden.de\/~voelp\/sources\/sec_rt_trans.tgz."}],"event":{"name":"Asia CCS '08: Asia CCS'08 ACM Symposium on Information, Computer and Communications Security","location":"Tokyo Japan","acronym":"Asia CCS '08","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2008 ACM symposium on Information, computer and communications security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1368310.1368320","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1368310.1368320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:46Z","timestamp":1750255066000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1368310.1368320"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,18]]},"references-count":25,"alternative-id":["10.1145\/1368310.1368320","10.1145\/1368310"],"URL":"https:\/\/doi.org\/10.1145\/1368310.1368320","relation":{},"subject":[],"published":{"date-parts":[[2008,3,18]]},"assertion":[{"value":"2008-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}