A Mechanized Logic for Secure Key Escrow Protocol Verification - researchr publication

researchr

You are not signed in
Sign in
Sign up

E. Thomas Schubert, Sarah Mocas. A Mechanized Logic for Secure Key Escrow Protocol Verification. In E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss, editors, Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings. Volume 971 of Lecture Notes in Computer Science, pages 308-323, Springer, 1995.

Abstract is missing.

runs on WebDSL