Information Flow Analysis via Path Condition Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mana Taghdiri, Gregor Snelting, Carsten Sinz. Information Flow Analysis via Path Condition Refinement. In Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman, editors, Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Volume 6561 of Lecture Notes in Computer Science, pages 65-79, Springer, 2010. [doi]

This author has not been identified. Look up 'Mana Taghdiri' in GoogleThis author has not been identified. Look up 'Gregor Snelting' in GoogleThis author has not been identified. Look up 'Carsten Sinz' in Google

runs on WebDSL