Termination-Insensitive Noninterference Leaks More Than Just a Bit

Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands. Termination-Insensitive Noninterference Leaks More Than Just a Bit. In Sushil Jajodia, Javier Lopez, editors, Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. Volume 5283 of Lecture Notes in Computer Science, pages 333-348, Springer, 2008. [doi]

Abstract

Abstract is missing.