Modeling Partial Attacks with Alloy - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amerson Lin, Mike Bond, Jolyon Clulow. Modeling Partial Attacks with Alloy. In Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe, editors, Security Protocols - 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers. Volume 5964 of Lecture Notes in Computer Science, pages 20-33, Springer, 2007. [doi]

This author has not been identified. Look up 'Amerson Lin' in GoogleThis author has not been identified. Look up 'Mike Bond' in GoogleThis author has not been identified. Look up 'Jolyon Clulow' in Google

runs on WebDSL