David A.Basin。;安德烈亚斯·洛赫比勒;塞菲加·雷扎 CryptHOL:高阶逻辑中基于游戏的证明。 (英语) Zbl 1455.94121号 J.密码学 33,第2期,494-566(2020年).MSC公司:94A60型 94A62型 68伏15 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Basin}等人,《密码学杂志》33,第2期,494--566(2020;Zbl 1455.94121) 全文: DOI程序
蒂博尔·贾格尔;弗洛里安·科勒;斯文·施瓦格;Jörg Schwenk 经身份验证的机密通道建立和TLS-DHE的安全性。 (英语) Zbl 1386.94095号 J.密码学 30,第4期,1276-1324(2017).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{T.Jager}等人,《密码学杂志》第30期,第4期,1276-1324页(2017年;Zbl 1386.94095) 全文: DOI程序