Up a level |
DSouza, Deepak and Holla, Raveendra and Kulkarni, Janardhan and Raghavendra, KR and Sprick, Barbara (2008) On the Decidability of Model Checking Information Flow Properties. [Book Chapter]
D’Souza, Deepak and Holla, Raveendra and Kulkarni, Janardhan and Raghavendra, KR and Sprick, Barbara (2008) On the Decidability of Model-Checking Information Flow Properties. In: ICISS 2008, Hyderabad, Hyderabad.