Open AccessInformation-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels
Author(s) -
Heiko Mantel,
Henning Sudbrock
Publication year - 2009
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/978-3-642-01465-9_5
Subject(s) - interrupt , computer science , exploit , covert , bandwidth (computing) , covert channel , channel (broadcasting) , focus (optics) , computer network , computer security , telecommunications , operating system , cloud computing , linguistics , philosophy , security information and event management , physics , transmission (telecommunications) , optics , cloud computing security
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom