Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption
复制标题
可重随机化 RCCA 安全加密的计算合理形式化
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Masami Hagiya
中科院分区：
文献类型：
--
作者：
Yusuke Kawamoto;Hideki Sakurada;Masami Hagiya
登录
查看更多内容
符号加密的自适应安全性
DOI：
10.1007/978-3-540-30576-7_10
发表时间：
2005
期刊：
--
影响因子：
--
作者：
Daniele Micciancio;S. Panjwani
通讯作者：
S. Panjwani
高阶模型检验的平均情况硬度
DOI：
--
发表时间：
2020
期刊：
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
影响因子：
--
作者：
Yoshiki Nakamura;Kazuyuki Asada;Naoki Kobayashi;Ryoma Sin'ya;Takeshi Tsukada
通讯作者：
Takeshi Tsukada
存在哈希函数时计算合理的符号保密性
DOI：
10.1007/11944836_18
发表时间：
2006
期刊：
--
影响因子：
--
作者：
V. Cortier;S. Kremer;Ralf Küsters;B. Warinschi
通讯作者：
B. Warinschi
抽象密码学的健全性讲义
DOI：
--
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Hubert Comon
通讯作者：
Hubert Comon
DOI：
10.1007/11908739_3
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Flavio D. Garcia;P. Rossum
通讯作者：
P. Rossum