Checking probabilistic noninterference using JOANA - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer 0001, Martin Hecker, Martin Mohr, Daniel Wasserrab. Checking probabilistic noninterference using JOANA. it - Information Technology, 56(6):280-287, 2014. [doi]

This author has not been identified. Look up 'Gregor Snelting' in GoogleThis author has not been identified. Look up 'Dennis Giffhorn' in GoogleThis author has not been identified. Look up 'Jürgen Graf' in GoogleThis author has not been identified. Look up 'Christian Hammer 0001' in GoogleThis author has not been identified. Look up 'Martin Hecker' in GoogleThis author has not been identified. Look up 'Martin Mohr' in GoogleThis author has not been identified. Look up 'Daniel Wasserrab' in Google

runs on WebDSL