Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhiyao Liang, Rakesh M. Verma. Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols. In Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain. pages 1067-1074, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Zhiyao Liang' in GoogleThis author has not been identified. Look up 'Rakesh M. Verma' in Google

runs on WebDSL