Protocol Composition Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anupam Datta, John C. Mitchell, Arnab Roy 0001, Stephan Hyeonjun Stiller. Protocol Composition Logic. In Véronique Cortier, Steve Kremer, editors, Formal Models and Techniques for Analyzing Security Protocols. Volume 5 of Cryptology and Information Security Series, pages 182-221, IOS Press, 2011. [doi]

This author has not been identified. Look up 'Anupam Datta' in GoogleThis author has not been identified. Look up 'John C. Mitchell' in GoogleThis author has not been identified. Look up 'Arnab Roy 0001' in GoogleThis author has not been identified. Look up 'Stephan Hyeonjun Stiller' in Google

runs on WebDSL