{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:03:33Z","timestamp":1742972613930,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642014642"},{"type":"electronic","value":"9783642014659"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01465-9_5","type":"book-chapter","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T00:56:06Z","timestamp":1238806566000},"page":"67-81","source":"Crossref","is-referenced-by-count":9,"title":["Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels"],"prefix":"10.1007","author":[{"given":"Heiko","family":"Mantel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henning","family":"Sudbrock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Mantel, H., Sudbrock, H.: Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. In: Proc. of the IEEE Computer Security Foundations Symposium, pp. 326\u2013340 (2007)","DOI":"10.1109\/CSF.2007.14"},{"issue":"10","key":"5_CR2","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/362375.362389","volume":"16","author":"B.W. Lampson","year":"1973","unstructured":"Lampson, B.W.: A Note on the Confinement Problem. Communications of the ACM\u00a016(10), 613\u2013615 (1973)","journal-title":"Communications of the ACM"},{"key":"5_CR3","unstructured":"Gligor, V.: A Guide to Understanding Covert Channel Analysis of Trusted Systems. CSC-TG-030, Rainbow Series (Light Pink Book) (1993)"},{"key":"5_CR4","first-page":"91","volume":"15","author":"S.P. Shieh","year":"1999","unstructured":"Shieh, S.P.: Estimating and Measuring Covert Channel Bandwidth in Multilevel Secure Operating Systems. Journal of Inform. Science & Engineering\u00a015, 91\u2013106 (1999)","journal-title":"Journal of Inform. Science & Engineering"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Quantifying Information Flow. In: Proc. of the IEEE Computer Security Foundations Workshop, pp. 18\u201331 (2002)","DOI":"10.1109\/CSFW.2002.1021804"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-75227-1_17","volume-title":"Formal Aspects in Security and Trust","author":"D. Beauquier","year":"2007","unstructured":"Beauquier, D., Lanotte, R.: Hiding Information in Multi Level Security Systems. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol.\u00a04691, pp. 250\u2013269. Springer, Heidelberg (2007)"},{"key":"5_CR7","unstructured":"Son, J., Alves-Foss, J.: Covert Timing Channel Analysis of Rate Monotonic Real-Time Scheduling Algorithm in MLS Systems. In: Proc. of the IEEE Information Assurance Workshop, pp. 361\u2013368 (2006)"},{"key":"5_CR8","volume-title":"Elements of Information Theory","author":"T.M. Cover","year":"2006","unstructured":"Cover, T.M., Thomas, J.A.: Elements of Information Theory, 2nd edn. John Wiley & Sons, Inc., Chichester (2006)","edition":"2"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/TIT.1972.1054753","volume":"18","author":"S. Arimoto","year":"1972","unstructured":"Arimoto, S.: An Algorithm for Computing the Capacity of Arbitrary Discrete Memoryless Channels. IEEE Trans. on Information Theory\u00a018(1), 14\u201320 (1972)","journal-title":"IEEE Trans. on Information Theory"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1109\/TIT.1972.1054855","volume":"18","author":"R. Blahut","year":"1972","unstructured":"Blahut, R.: Computation of Channel Capacity and Rate-Distortion Functions. IEEE Trans. on Information Theory\u00a018(4), 460\u2013473 (1972)","journal-title":"IEEE Trans. on Information Theory"},{"key":"5_CR11","unstructured":"Intel Corporation: Interrupt Moderation Using Intel Gigabit Ethernet Controllers, Application Note (AP-450), Revision 1.1 (2003)"},{"key":"5_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03199-5","volume-title":"Global Optimization. Deterministic Approaches","author":"R. Horst","year":"1996","unstructured":"Horst, R., Tuy, H.: Global Optimization. Deterministic Approaches. Springer, Heidelberg (1996)"},{"issue":"4","key":"5_CR13","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BF01720068","volume":"6","author":"R. Horst","year":"1984","unstructured":"Horst, R.: On the Global Minimization of Concave Functions. OR Spectrum\u00a06(4), 195\u2013205 (1984)","journal-title":"OR Spectrum"},{"issue":"6","key":"5_CR14","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1002\/(SICI)1520-6750(199609)43:6<765::AID-NAV1>3.0.CO;2-2","volume":"43","author":"H.P. Benson","year":"1996","unstructured":"Benson, H.P.: Deterministic Algorithms for Constrained Concave Minimization: A Unified Critical Survey. Naval Research Logistics\u00a043(6), 765\u2013795 (1996)","journal-title":"Naval Research Logistics"},{"issue":"5","key":"5_CR15","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D.E. Denning","year":"1976","unstructured":"Denning, D.E.: A Lattice Model of Secure Information Flow. Communications of the ACM\u00a019(5), 236\u2013243 (1976)","journal-title":"Communications of the ACM"},{"issue":"7","key":"5_CR16","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D.E. Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of Programs for Secure Information Flow. Communications of the ACM\u00a020(7), 504\u2013513 (1977)","journal-title":"Communications of the ACM"},{"issue":"3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/357369.357374","volume":"1","author":"R.A. Kemmerer","year":"1983","unstructured":"Kemmerer, R.A.: Shared Resource Matrix Methodology: An Approach to Identifying Storage and Timing Channels. ACM Trans. on Comp. Sys.\u00a01(3), 256\u2013277 (1983)","journal-title":"ACM Trans. on Comp. Sys."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Kemmerer, R.A.: A Practical Approach to Identifying Storage and Timing Channels: Twenty Years Later. In: Proc. of the Annual Computer Security Applications Conference, pp. 109\u2013118 (2002)","DOI":"10.1109\/CSAC.2002.1176284"},{"issue":"3","key":"5_CR19","first-page":"1","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Smith, G., Irvine, C.: A Sound Type System for Secure Flow Analysis. Journal of Computer Security\u00a04(3), 1\u201321 (1996)","journal-title":"Journal of Computer Security"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based Information-Flow Security. IEEE Journal on Selected Areas in Communication\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Hu, W.-M.: Reducing Timing Channels with Fuzzy Time. In: Proc. of the IEEE Symposium on Research in Security and Privacy, pp. 8\u201320 (1991)","DOI":"10.1109\/RISP.1991.130768"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Gray III, J.W.: On Introducing Noise into the Bus-Contention Channel. In: Proc. of the IEEE Symposium on Research in Security and Privacy, pp. 90\u201398 (1993)","DOI":"10.1109\/RISP.1993.287640"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Kang, M.H., Moskowitz, I.S.: A Pump for Rapid, Reliable, Secure Communication. In: Proc. of the ACM Conference on Computer and Communications Security, pp. 119\u2013129 (1993)","DOI":"10.1145\/168588.168604"},{"key":"5_CR24","unstructured":"Kang, M.H., Moskowitz, I.S., Chincheck, S.: The Pump: A Decade of Covert Fun. In: Proc. of the Annual Computer Security Applications Conference, pp. 352\u2013360 (2005)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Millen, J.K.: Covert Channel Capacity. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 60\u201366 (1987)","DOI":"10.1109\/SP.1987.10013"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Moskowitz, I.S.: Quotient States and Probabilistic Channels. In: Proc. of the IEEE Computer Security Foundations Workshop, pp. 74\u201383 (1990)","DOI":"10.1109\/CSFW.1990.128187"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Millen, J.K.: Finite-State Noiseless Covert Channels. In: Proc. of the IEEE Computer Security Foundations Workshop, pp. 81\u201386 (1989)","DOI":"10.1109\/CSFW.1989.40590"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Moskowitz, I.S.: Variable Noise Effects Upon a Simple Timing Channel. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 362\u2013372 (1991)","DOI":"10.1109\/RISP.1991.130803"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Moskowitz, I.S., Miller, A.R.: Simple Timing Channels. In: Proc. of the IEEE Symposium on Research in Security and Privacy, pp. 56\u201364 (1994)","DOI":"10.1109\/RISP.1994.296592"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Moskowitz, I.S., Greenwald, S.J., Kang, M.H.: An Analysis of the Timed Z-channel. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 2\u201311 (1996)","DOI":"10.1109\/SECPRI.1996.502664"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-74124-4_9","volume-title":"Information Hiding","author":"K. Martin","year":"2007","unstructured":"Martin, K., Moskowitz, I.S.: Noisy Timing Channels with Binary Inputs and Outputs. In: Camenisch, J.L., Collberg, C.S., Johnson, N.F., Sallee, P. (eds.) IH 2006. LNCS, vol.\u00a04437, pp. 124\u2013144. Springer, Heidelberg (2007)"},{"issue":"4","key":"5_CR32","doi-asserted-by":"publisher","first-page":"1339","DOI":"10.1109\/18.144712","volume":"38","author":"I.S. Moskowitz","year":"1992","unstructured":"Moskowitz, I.S., Miller, A.R.: The Channel Capacity of a Certain Noisy Timing Channel. IEEE Trans. on Information Theory\u00a038(4), 1339\u20131344 (1992)","journal-title":"IEEE Trans. on Information Theory"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Gray III, J.W.: On Analyzing the Bus-Contention Channel under Fuzzy Time. In: Proc. of the IEEE Computer Security Foundations Workshop, pp. 3\u20139 (1993)","DOI":"10.1109\/CSFW.1993.246643"},{"issue":"5","key":"5_CR34","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/32.502225","volume":"22","author":"M.H. Kang","year":"1996","unstructured":"Kang, M.H., Moskowitz, I.S., Lee, D.C.: A Network Pump. IEEE Trans. on Software Engineering\u00a022(5), 329\u2013338 (1996)","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"9","key":"5_CR35","doi-asserted-by":"publisher","first-page":"2455","DOI":"10.1109\/TIT.2002.801405","volume":"48","author":"J. Giles","year":"2002","unstructured":"Giles, J., Hajek, B.: An Information-theoretic and Game-theoretic Study of Timing Channels. IEEE Trans. on Information Theory\u00a048(9), 2455\u20132477 (2002)","journal-title":"IEEE Trans. on Information Theory"},{"key":"5_CR36","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.entcs.2004.02.011","volume":"99","author":"R. Lanotte","year":"2004","unstructured":"Lanotte, R., Maggiolo-Schettini, A., Tini, S., Troina, A., Tronci, E.: Automatic Analysis of the NRL Pump. Electr. Notes Theor. Comput. Sci.\u00a099, 245\u2013266 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-540-30138-7_24","volume-title":"Computer Safety, Reliability, and Security","author":"A. Aldini","year":"2004","unstructured":"Aldini, A., Bernardo, M.: An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 283\u2013296. Springer, Heidelberg (2004)"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Tsai, C.R., Gligor, V.D.: A Bandwidth Computation Model for Covert Storage Channels and its Applications. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 108\u2013121 (1988)","DOI":"10.1109\/SECPRI.1988.8103"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects in Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01465-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T05:17:31Z","timestamp":1551935851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01465-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642014642","9783642014659"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01465-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}