The article "On the Decidability of Model-Checking Information Flow Properties" by Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra Kagalavadi Ramesh and Barbara Sprick has been accepted for publication at ICISS (International Conference on Information Systems Security).