Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom;
机译:基于密码的身份验证协议的自动分析:CSP / FDR模型检查和AVISPA
机译:在CSP中验证身份验证协议
机译:在CSP中验证身份验证协议
机译:使用CSP和FDR建模和验证密钥交换协议
机译:Ad hoc网络协议的建模与验证技术。
机译:西洛他唑中风预防联合用药预防方案的协议(CSPS.com):随机开放标签平行组试验
机译:使用CSP和FDR建模和验证密钥交换协议
机译:Csp过程网络的组合验证:使用FDR2验证接口差异事件中的细化。