吉尔·巴特;爱德华·法格霍姆;达里奥·菲奥雷;Mitchell,John约翰;安德烈·斯克洛夫;Benedikt施密特 通用组模型中密码假设的自动分析。 (英语) Zbl 1434.94057号 J.密码学 32,第2号,324-360(2019).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}et al.,J.Cryptology 32,No.2,324--360(2019;Zbl 1434.94057) 全文: DOI程序
兰·卡内蒂;乔纳森·赫尔佐格 通用组合符号安全分析。 (英语) Zbl 1208.94039号 J.密码学 24,第1期,第83-147页(2011年).MSC公司:94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Canetti}和\textit{J.Herzog},J.Cryptology 24,No.1,83--147(2011;Zbl 1208.94039) 全文: DOI程序