Specifying Kerberos 5 cross-realm authentication.

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad

Browse the full POPL paper archive.