Verification condition generation for conditional information flow - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Torben Amtoft, Anindya Banerjee. Verification condition generation for conditional information flow. In Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel, editors, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. pages 2-11, ACM, 2007. [doi]

This author has not been identified. Look up 'Torben Amtoft' in GoogleThis author has not been identified. Look up 'Anindya Banerjee' in Google

runs on WebDSL