Applied pi calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mark Dermot Ryan, Ben Smyth. Applied pi calculus. In Véronique Cortier, Steve Kremer, editors, Formal Models and Techniques for Analyzing Security Protocols. Volume 5 of Cryptology and Information Security Series, pages 112-142, IOS Press, 2011. [doi]

This author has not been identified. Look up 'Mark Dermot Ryan' in GoogleThis author has not been identified. Look up 'Ben Smyth' in Google

runs on WebDSL