On the Reachability Problem in Cryptographic Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto M. Amadio, Denis Lugiez. On the Reachability Problem in Cryptographic Protocols. In Catuscia Palamidessi, editor, CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Volume 1877 of Lecture Notes in Computer Science, pages 380-394, Springer, 2000. [doi]

This author has not been identified. Look up 'Roberto M. Amadio' in GoogleThis author has not been identified. Look up 'Denis Lugiez' in Google

runs on WebDSL