Information-theoretic modeling and analysis of interrupt-related covert channels

Publikationstyp
Conference Paper
Date Issued
2008-10
Sprache
English
Author(s)
Mantel, Heiko 
Sudbrock, Henning  
TORE-URI
http://hdl.handle.net/11420/13915
First published in
Lecture notes in computer science  
Number in series
5491 LNCS
Start Page
67
End Page
81
Citation
Lecture Notes in Computer Science 5491 LNCS: 67-81 (2009-07-23)
Contribution to Conference
5th International Workshop on Formal Aspects in Security and Trust, FAST 2008  
Publisher DOI
10.1007/978-3-642-01465-9_5
Scopus ID
2-s2.0-67650675360
Publisher
Springer
We 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.
DDC Class
004: Informatik