I've searched and found nothing worthwhile. Are there
any discussions of ticket cache practices that would be
worth reading (security-related or otherwise)?