@inproceedings{DHKRS:2008,
  author =	 "Deepak D'Souza and  Raveendra Holla and Janardhan Kulkarni
              and Raghavendra K R and Barbara Sprick",
  title =	 "On the Decidability of Model-Checking Information Flow 
              Properties",
  booktitle =	 "Proceedings of International Conference on Information
              Systems Security (ICISS)",
  year =	 2008,
}