Author:
Kitagawa Fuyuki,Matsuda Takahiro,Hanaoka Goichiro,Tanaka Keisuke
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. IEEE standard specifications for public-key cryptography - amendment 1: additional techniques. IEEE Std 1363a–2004 (Amendment to IEEE Std 1363–2000), September 2004
2. Abadi, M., Rogaway, P.: Reconciling two views of cryptography (the computational soundness of formal encryption). J. Cryptology 20(3), 395 (2007)
3. Adão, P., Bana, G., Herzog, J., Scedrov, A.: Soundness and completeness of formal encryption: the cases of key cycles and partial information leakage. J. Comput. Secur. 17(5), 737–797 (2009)
4. Lecture Notes in Computer Science;B Applebaum,2011
5. Lecture Notes in Computer Science;B Applebaum,2009
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献