...
机译:使用模型检查分析流身份验证协议
Stream authentication protocols; Model checking; Automatic verification; Data independence;
机译:使用模型检查分析流身份验证协议
机译:基于密码的身份验证协议的自动分析:CSP / FDR模型检查和AVISPA
机译:使用自旋模型检查器对可扩展身份验证协议进行建模和验证
机译:使用模型检查分析流身份验证协议
机译:模型检查顺序一致性和参数化协议。
机译:在成人恶性肿瘤中使用检查点抑制剂(CPI)进行免疫疗法:系统评估经济分析质量的方案
机译:使用模型检查分析流认证协议
机译:模型检查安全协议