D’Souza, Deepak and Holla, R and Kulkarni, J and Raghavendra, KR and Sprick, Barbara (2008) On the Decidability of Model-Checking Information Flow Properties. In: ICISS 2008, Hyderabad, 16 - 20 December 2008, Hyderabad.
