Mantel, HeikoHeikoMantelSudbrock, HenningHenningSudbrock2022-11-032022-11-032008-10Lecture Notes in Computer Science 5491 LNCS: 67-81 (2009-07-23)http://hdl.handle.net/11420/13915We present a formal model for analyzing the bandwidth of covert channels. The focus is on channels that exploit interrupt-driven communication, which have been shown to pose a serious threat in practical experiments. Our work builds on our earlier model [1], which we used to compare the effectiveness of different countermeasures against such channels. The main novel contribution of this article is an approach to exploiting detailed knowledge about a given channel in order to make the bandwidth analysis more precise.enInformatikConference Paper10.1007/978-3-642-01465-9_5Other