@InProceedings{	  dsouza.holla.ea:on,
  author	= {Deepak D'Souza and Raveendra Holla and Janardhan Kulkarni
		  and Raghavendra Kagalavadi Ramesh and Barbara Sprick },
  title		= {On the Decidability of Model-Checking Information Flow
		  Properties},
  booktitle	= {Proceedings of the 4th International Conference on
		  Information Systems Security (ICISS)},
  year		= 2008,
  publisher	= {Springer},
  series	= {LNCS 5352},
  pages		= {26--40}
}