On the Decidability of Model-Checking Information Flow Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Deepak D Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick. On the Decidability of Model-Checking Information Flow Properties. In R. Sekar, Arun K. Pujari, editors, Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings. Volume 5352 of Lecture Notes in Computer Science, pages 26-40, 2008. [doi]

This author has not been identified. Look up 'Deepak D Souza' in GoogleThis author has not been identified. Look up 'Raveendra Holla' in GoogleThis author has not been identified. Look up 'Janardhan Kulkarni' in GoogleThis author has not been identified. Look up 'Raghavendra K. Ramesh' in GoogleThis author has not been identified. Look up 'Barbara Sprick' in Google

runs on WebDSL