ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by IISc Authors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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 Sun Oct 6 06:42:38 2024 IST.