Probabilistic Aspects: Checking Security in an Imperfect World - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chris Hankin, Flemming Nielson, Hanne Riis Nielson. Probabilistic Aspects: Checking Security in an Imperfect World. In Martin Wirsing, Martin Hofmann, Axel Rauschmayer, editors, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Volume 6084 of Lecture Notes in Computer Science, pages 348-363, Springer, 2010. [doi]

This author has not been identified. Look up 'Chris Hankin' in GoogleThis author has not been identified. Look up 'Flemming Nielson' in GoogleThis author has not been identified. Look up 'Hanne Riis Nielson' in Google

runs on WebDSL