A weakest precondition approach to active attacks analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Musard Balliu, Isabella Mastroeni. A weakest precondition approach to active attacks analysis. In Stephen Chong, David A. Naumann, editors, Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. pages 59-71, ACM, 2009. [doi]

This author has not been identified. Look up 'Musard Balliu' in GoogleThis author has not been identified. Look up 'Isabella Mastroeni' in Google

runs on WebDSL