Number of items: 2.
Conference Paper
DSouza, D and Holla, R and Kulkarni, J and Raghavendra, KR and Sprick, B
(2008)
On the Decidability of Model Checking Information Flow Properties.
In: 4th International Conference on Information Systems Security, ICISS, 16 - 20 December 2008.
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.
This list was generated on Sat Apr 20 09:08:42 2024 IST.
