Deepak D Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick. On the Decidability of Model-Checking Information Flow Properties. In R. Sekar, Arun K. Pujari, editors, Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings. Volume 5352 of Lecture Notes in Computer Science, pages 26-40, 2008. [doi]
Abstract is missing.