A Theorem Proving Approach to Analysis of Secure Information Flow - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ádám Darvas, Reiner Hähnle, David Sands. A Theorem Proving Approach to Analysis of Secure Information Flow. In Dieter Hutter, Markus Ullmann, editors, Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings. Volume 3450 of Lecture Notes in Computer Science, pages 193-209, Springer, 2005. [doi]

This author has not been identified. Look up 'Ádám Darvas' in GoogleThis author has not been identified. Look up 'Reiner Hähnle' in GoogleThis author has not been identified. Look up 'David Sands' in Google

runs on WebDSL