@InProceedings{ mantel.sudbrock:information-theoretic, author = {Heiko Mantel and Henning Sudbrock}, editor = {P. Degano and J. Guttman and F. Martinelli}, title = {Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels}, booktitle = {Post-Proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008)}, year = 2009, publisher = {Springer}, series = {LNCS 5491}, pages = {67--81}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2009/2008FAST-HMHS-Postproceedings-Webversion.pdf} }