Iliano Cervesato Aaron D. Jaggard Andre Scedrov Christopher Walstad Specifying Kerberos 5 cross-realm authentication. 12-26 2005 WITS http://doi.acm.org/10.1145/1045405.1045408 conf/popl/2005wits db/conf/popl/wits2005.html#CervesatoJSW05