Using automated model analysis for reasoning about security of web protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Apurva Kumar. Using automated model analysis for reasoning about security of web protocols. In Robert H'obbes' Zakon, editor, 28th Annual Computer Security Applications Conference, ACSAC 2012, Orlando, FL, USA, 3-7 December 2012. pages 289-298, ACM, 2012. [doi]

This author has not been identified. Look up 'Apurva Kumar' in Google

runs on WebDSL