@InProceedings{	  mantel.sudbrock:information-theoretic:b,
  author	= {Heiko Mantel and Henning Sudbrock},
  title		= {Information-Theoretic Modeling and Analysis of
		  Interrupt-Related Covert Channels},
  booktitle	= {Pre-Proceedings of the 5th Workshop on Formal Aspects in
		  Security and Trust (FAST 2008)},
  year		= 2008,
  pages		= {67--81},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2008/mantelsudbrock-fast2008-preproceedings.pdf}
}