Choi,Seung Geol先生;达纳Dachman-Soled;塔尔·马尔金;威·霍特克 基于语义安全加密的非延展加密的黑盒结构。 (英文) Zbl 1426.94091号 J.密码学 31,第1期,172-201(2018).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Choi}等人,《密码学杂志》第31期,第1期,第172--201页(2018;Zbl 1426.94091) 全文: 内政部
安德烈亚·阿斯佩蒂;赫尔曼·格乌弗斯;纳塔拉詹,拉贾 社会过程、程序验证等等。 (英文) Zbl 1178.68333号 数学。结构。计算。科学。 19,第5期,877-896(2009).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}等人,《数学》。结构。计算。科学。19,第5号,877-896(2009年;兹bl 1178.68333) 全文: 内政部