Casper; FDR2; Formal Verification; Group Password-based Authenticated Key Exchange;
机译:经过正式验证的AKA协议,可使用Casper / FDR在异构环境中进行垂直切换
机译:引入一种新颖的身份验证协议,用于使用Casper / FDR的异构环境中的安全服务
机译:使用Casper的EAP-ERP的正式安全性分析
机译:使用Casper / FDR2的G-Pake进行正式验证:使用Casper / FDR2确保组达议程协议
机译:关于组密钥安全协议的形式验证
机译:勘误至:CASPER plus(伴有严重抑郁症的筛查阳性EldeR患者的协作治疗):一项随机对照试验的研究方案
机译:经过正式验证的AKA协议,可使用Casper / FDR在异构环境中进行垂直切换
机译:Csp过程网络的组合验证:使用FDR2验证接口差异事件中的细化。