Providing Tractable Security Analysis in HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stephen H. Brackin. Providing Tractable Security Analysis in HOL. In Thomas F. Melham, Juanito Camilleri, editors, Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Volume 859 of Lecture Notes in Computer Science, pages 65-80, Springer, 1994.

This author has not been identified. Look up 'Stephen H. Brackin' in Google

runs on WebDSL