Ádám Darvas, Reiner Hähnle, David Sands. A Theorem Proving Approach to Analysis of Secure Information Flow. In Dieter Hutter, Markus Ullmann, editors, Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings. Volume 3450 of Lecture Notes in Computer Science, pages 193-209, Springer, 2005. [doi]
Abstract is missing.