Formal analysis of Kerberos 5 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad. Formal analysis of Kerberos 5. Theoretical Computer Science, 367(1-2):57-87, 2006. [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 GoogleThis author has not been identified. Look up 'Christopher Walstad' in Google

runs on WebDSL