Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford, OX1 3QD, UK;
机译:使用模型检查分析流身份验证协议
机译:建模和检查安全协议的定时身份验证
机译:基于密码的身份验证协议的自动分析:CSP / FDR模型检查和AVISPA
机译:使用模型检查分析流身份验证协议
机译:模型检查顺序一致性和参数化协议。
机译:在成人恶性肿瘤中使用检查点抑制剂(CPI)进行免疫疗法:系统评估经济分析质量的方案
机译:使用模型检查分析流认证协议
机译:模型检查安全协议