维罗尼克·科尔蒂尔;斯特凡尼德劳恩;维什纳维桑达拉扬 一类可判定的安全协议,具有可达性和等价性。 (英语) Zbl 07356980号 J.汽车。推理 65,第4号,479-520(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人,J.Autom。推理65,No.4,479--520(2021;Zbl 07356980) 全文: DOI程序 哈尔
布鲁诺·布兰切特 符号模型中安全协议的自动验证:验证器ProVerif。 (英语) Zbl 1448.68185号 Aldini,Alessandro(编辑)等人,《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林:斯普林格。莱克特。注释计算。科学。8604, 54-87 (2014).MSC公司:68平方米25 60年第68季度 68问题85 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet},莱克特。注释计算。科学。8604,54-87(2014;Zbl 1448.68185) 全文: DOI程序
文森特·雪瓦尔;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 使用约束求解确定基于等效的特性。 (英语) Zbl 1294.68111号 西奥。计算。科学。 492, 1-39 (2013).MSC公司:68问题85 68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人,Theor。计算。科学。492,1--39(2013年;Zbl 1294.68111) 全文: DOI程序