Using state space exploration and a natural deduction style message derivation engine to verify security protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero. Using state space exploration and a natural deduction style message derivation engine to verify security protocols. In David Gries, Willem P. de Roever, editors, Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET 98) 8-12 June 1998, Shelter Island, New York, USA. Volume 125 of IFIP Conference Proceedings, pages 87-106, Chapman and Hall, 1998.

This author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Somesh Jha' in GoogleThis author has not been identified. Look up 'Wilfredo R. Marrero' in Google

runs on WebDSL