Up a level |
D’Souza, Deepak and Raghavendra, KR (2012) Model-checking bisimulation-based information flow properties for infinite state sstems. In: Proceedings of 17th European Symposium on Research in Computer Security, September 10-12, 2012, Pisa, Italy.
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.
Deepak, DSouza and Raghavendra, KR and Barbara, Sprick (2005) An automata based approach for verifying information flow properties. In: Tthe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005), 16 July, 2005, pp. 39-58.