@inproceedings{2ba767784f514cfa9290284c8c8a7681,
title = "On separating proofs of knowledge from proofs of membership of languages and its application to secure identification schemes",
abstract = "A four-move protocol for quadratic residuosity is proposed and the security is discussed. An application of the proposed protocol to a cryptographic identification scheme introduces a new notion of practical soundness. Our basic approach is to separate proofs of knowledge from proofs of membership of languages. Previous works deal with proofs of knowledge as an additional property of proofs of membership.",
author = "Kouichi Sakurai",
year = "1995",
month = jan,
day = "1",
doi = "10.1007/BFb0030871",
language = "English",
isbn = "354060216X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "496--509",
editor = "Ding-Zhu Du and Ming Li and Ding-Zhu Du",
booktitle = "Computing and Combinatorics - 1st Annual International Conference, COCOON 1995, Proceedings",
address = "Germany",
note = "1st Annual International Computing and Combinatorics Conference, COCOON 1995 ; Conference date: 24-08-1995 Through 26-08-1995",
}