{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:06:11Z","timestamp":1763467571203},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csac.2002.1176284","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T11:35:00Z","timestamp":1056627300000},"page":"109-118","source":"Crossref","is-referenced-by-count":27,"title":["A practical approach to identifying storage and timing channels: twenty years later"],"prefix":"10.1109","author":[{"given":"R.A.","family":"Kemmerer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.106972"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.1996.569703"},{"journal-title":"Data security Security protection confinement covert channels","year":"1980","author":"kline","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/362375.362389"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/800213.806537"},{"key":"ref15","article-title":"The Ina Jo specification language reference manual","author":"locasso","year":"1980","journal-title":"Technical Report TM-6889\/000\/01"},{"key":"ref16","article-title":"Covert channel analysis, handbook for the computer security certification of trusted systems","author":"mchugh","year":"1993","journal-title":"Naval Research Laboratory Report"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360059"},{"key":"ref18","article-title":"Flow table generator","author":"millen","year":"1979","journal-title":"Technical Report WP- 22554"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/800179.1124633"},{"key":"ref4","article-title":"A technique for proving specifications are multilevel secure","author":"feiertag","year":"1980","journal-title":"Technical Report CSL-109"},{"journal-title":"DoD standard DOD 5200 28-STD","year":"1983","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1986.10013"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10013"},{"key":"ref8","article-title":"Shared resource matrix methodology: A practical approach to identifying covert channels","author":"kemmerer","year":"1981","journal-title":"Technical Report TRCS81–10 UCSB Computer Science Department"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"journal-title":"IEEE Cipher","article-title":"Minutes of the First Workshop on Covert Channel Analysis","year":"1990","key":"ref2"},{"key":"ref1","article-title":"Interface verification for a security kernel","author":"ames","year":"1978","journal-title":"Technical Report"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/357369.357374"}],"event":{"name":"Eighteenth Annual Computer Security Applications Conference","acronym":"CSAC-02","location":"Las Vegas, NV, USA"},"container-title":["18th Annual Computer Security Applications Conference, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8386\/26404\/01176284.pdf?arnumber=1176284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T19:01:23Z","timestamp":1489431683000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1176284\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/csac.2002.1176284","relation":{},"subject":[]}}