...
机译:基于密钥链的TTP透明CEM协议的验证
VerificationfairnesstimelinessTTP transparencyCEM protocolsMochaμCRL;
机译:具有透明TTP的CEM协议的设计和形式验证
机译:第三方设置中基于验证者的密码验证密钥交换协议的安全性分析和增强
机译:在没有服务器公钥的情况下,提高了针对第三方的基于验证者的高效密钥协商协议的安全性
机译:使用透明TTP扩展基于密钥链的认证电子邮件协议
机译:关于组密钥安全协议的形式验证
机译:基于区块的身份验证和动态组密钥协议协议
机译:基于密钥链的TTP透明CEM协议的验证