Verifying Second-Level Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson. Verifying Second-Level Security Protocols. In David A. Basin, Burkhart Wolff, editors, Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Volume 2758 of Lecture Notes in Computer Science, pages 352-366, Springer, 2003. [doi]

This author has not been identified. Look up 'Giampaolo Bella' in GoogleThis author has not been identified. Look up 'Cristiano Longo' in GoogleThis author has not been identified. Look up 'Lawrence C. Paulson' in Google

runs on WebDSL