{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T10:40:15Z","timestamp":1736505615328,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308195"},{"type":"electronic","value":"9783540315988"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596981_56","type":"book-chapter","created":{"date-parts":[[2006,6,17]],"date-time":"2006-06-17T14:42:27Z","timestamp":1150555347000},"page":"381-387","source":"Crossref","is-referenced-by-count":0,"title":["Covert Channel Identification Founded on Information Flow Analysis"],"prefix":"10.1007","author":[{"given":"Jianjun","family":"Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sihan","family":"Qing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingni","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liping","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"56_CR1","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"B. Lampson","year":"1973","unstructured":"Lampson, B.: A Note on the Confinement Problem. Communications of the ACM\u00a016(10), 613\u2013615 (1973)","journal-title":"Communications of the ACM"},{"key":"56_CR2","unstructured":"Tsai, C.: Covert Channel Analysis in Secure Computer Systems. PhD Dissertation, University of Maryland (1987)"},{"issue":"5","key":"56_CR3","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D. Denning","year":"1976","unstructured":"Denning, D.: A Lattice Model of Secure Information Flow. Communications of the ACM\u00a019(5), 236\u2013243 (1976)","journal-title":"Communications of the ACM"},{"key":"56_CR4","doi-asserted-by":"crossref","unstructured":"Tsai, C., Gligor, V., Chandersekaran, C.: A Formal Method for the Identification of Covert Storage Channels in Source Code. In: Proc. of IEEE Symposium on Security and Privacy, Oakland, CA, April, pp. 74\u201386 (1987)","DOI":"10.1109\/SP.1987.10014"},{"key":"56_CR5","doi-asserted-by":"crossref","unstructured":"He, J., Gligor, V.: Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code. In: Proc. of 2nd European Symposium on Research in Computer Security, November, pp. 57\u201375 (1992)","DOI":"10.1007\/BFb0013892"},{"issue":"3","key":"56_CR6","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/357369.357374","volume":"1","author":"R. Kemmerer","year":"1983","unstructured":"Kemmerer, R.: Shared Resource Matrix Methodology: An Approach to Identifying Storage and Timing Channels. ACM Trans. on Computer Systems\u00a01(3), 256\u2013277 (1983)","journal-title":"ACM Trans. on Computer Systems"},{"issue":"11","key":"56_CR7","doi-asserted-by":"publisher","first-page":"1166","DOI":"10.1109\/32.106972","volume":"17","author":"R. Kemmerer","year":"1991","unstructured":"Kemmerer, R.: Covert Flow Trees. A Visual Approach to Analyzing Covert Storage Channels. IEEE Trans. on Software Engineering\u00a017(11), 1166\u20131185 (1991)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"56_CR8","unstructured":"McHugh, J.: Handbook for the Computer Security Certification of Trusted Systems - Covert Channel Analysis. Technical Report, Naval Research Laboratory (February 1996)"},{"key":"56_CR9","doi-asserted-by":"crossref","unstructured":"He, J., Gligor, V.: Information Flow Analysis for Covert-Channel Identification in Multi-level Secure Operating Systems. In: Proc. of the 3rd IEEE Workshop on Computer Security Foundations, Franconia, NH, June, pp. 139\u2013148 (1990)","DOI":"10.1109\/CSFW.1990.128194"}],"container-title":["Lecture Notes in Computer Science","Computational Intelligence and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596981_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T12:03:42Z","timestamp":1736424222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596981_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308195","9783540315988"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11596981_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}