Raveendra Holla

	2011
2		Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick: Model-checking trace-based information flow properties. Journal of Computer Security 19(1): 101-138 (2011)
	2008
1		Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick: On the Decidability of Model-Checking Information Flow Properties. ICISS 2008: 26-40

Coauthor Index

1	Deepak D'Souza	[1] [2]
2	Janardhan Kulkarni	[1]
3	K. R. Raghavendra	[2]
4	Raghavendra K. Ramesh	[1]
5	Barbara Sprick	[1] [2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page