2006年度今井研演習Ⅲ課題説明会-naomi.is.s.u.pptVIP

* * * * * * * * * * * 近い将来 * * * 対話証明系という考え方 計算量理論 量子情報理論 暗号理論 今井研で行われている研究の概観 ゼロ知識証明[GMR85] Verifierが秘密情報に関する知識を得られないように対話証明を行う枠組み 様々な暗号理論への応用 : 認証技術[FS87] Proverの主張の正当性を検証 秘密情報の保持を主張 質問と返答(対話) Verifier Prover [GMR85] S. Goldwasser, S. Micali, and C. Rackoff. The knowledge complexity of interactive proof systems. SIAM Journal of Computing. [FS87] A. Fiat and A. Shamir. How to prove yourself : practical solutions to identification and signature problems. In Advances in Crypto ’86. 生体認証 パスワードなどの代わりに、指紋や静脈パターンなどの生体情報を利用する認証技術 利便性が高い 情報漏洩のリスクが高い host user 本人認証 量子計算?量子暗号 長谷川淳（博士3年），尾張正樹（特任助教