E.M.维纳斯基。;A.V.德马科夫。 AKE协议的ProVerif程序优化。 (英语) Zbl 1514.94137号 程序。计算。柔和。 48,第8期,781-787(2022).MSC公司:94A60型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Vinarskii}和\textit{A.V.Demakov},程序。计算。柔和。48,编号8,781--787(2022;Zbl 1514.94137) 全文: 内政部
V.V.库利亚明。 程序系统验证方法的集成。 (英语。俄文原件) Zbl 1183.68378号 程序。计算。柔和。 35,第4期,212-222(2009); 译自Programmirovanie 35,No.4(2009)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Kuliamin},程序。计算。柔和。35,第4号,212--222(2009;Zbl 1183.68378);译自Programmirovanie 35,No.4(2009) 全文: 内政部