University of Pennsylvania.;
机译:Kerberos中认证加密的可验证安全性分析
机译:Kerberos 5的形式分析
机译:基于信任的身份验证方案(TBA),用于使用分布式控制器和预防攻击的Kerberos协议的云计算环境
机译:具有PVS的Kerberos认证协议的正式分析
机译:一种基于Kerberos身份验证协议的安全的在线信用卡交易方法。
机译:输精管切除术后分析:要求基于证据的统一方案。
机译:Kerberos中经过身份验证的加密的可证明安全性分析
机译:用msR对Kerberos 5的某些性质进行形式化分析;会议文件