维罗尼克·科尔蒂尔;德莱恩,斯特凡尼;维什纳维桑达拉扬 一类可判定的安全协议,具有可达性和等价性。 (英语) 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) 全文: 内政部 哈尔
文森特·雪瓦尔;维罗尼克·科尔蒂尔;德莱恩,斯特凡尼 使用约束求解确定基于等效的特性。 (英语) 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) 全文: 内政部