Reconciling two views of cryptography (the computational soundness of formal encryption). (English) Zbl 1008.68048
van Leeuwen, Jan (ed.) et al., Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1872, 3-22 (2000).
Summary: Two distinct, rigorous views of cryptography have developed over the years, in two mostly separate communities. One of the views relies on a simple but effective formal approach; the other, on a detailed computational model that considers issues of complexity and probability. There is an uncomfortable and interesting gap between these two approaches to cryptography. This paper starts to bridge the gap by providing computational justification for a formal treatment of encryption.
For the entire collection see [Zbl 0944.00071].
For the entire collection see [Zbl 0944.00071].
