A Formal Analysis of Some Properties of Kerberos 5 Using MSR - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov. A Formal Analysis of Some Properties of Kerberos 5 Using MSR. In 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada. pages 175, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Frederick Butler' in GoogleThis author has not been identified. Look up 'Iliano Cervesato' in GoogleThis author has not been identified. Look up 'Aaron D. Jaggard' in GoogleThis author has not been identified. Look up 'Andre Scedrov' in Google

runs on WebDSL