• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A study on searching for a string without decryption

Research Project

Project/Area Number 10680330
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionTohoku University

Principal Investigator

SHIZUYA Hiroki  Education Center for Information Processing, Tohoku University, Professor, 情報処理教育センター, 教授 (50196383)

Project Period (FY) 1998 – 1999
Project Status Completed (Fiscal Year 1999)
Budget Amount *help
¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1999: ¥300,000 (Direct Cost: ¥300,000)
Fiscal Year 1998: ¥600,000 (Direct Cost: ¥600,000)
Keywordsencryption function / one-way function / reducibility / semantic security / discrete logarithm / integer factoring / bounded arithmetic / ハードコア述語
Research Abstract

Let f be a one-to-one encryption function. Given f(m) and a string K, can we efficiently determine whether m contains K as a substring or not? We investigated the computational complexity of this problem. Our main results show that for an injective one-way function f, the following three functions are equivalent with respect to the polynomial-time Turing reducibility.
1. The function that on input f(m) and a string K, outputs 1 if m contains K; 0 otherwise.
2. The function that on input f(m) and a string K, outputs the number of K contained as substrings in m.
3. fィイD1-1ィエD1, I.e. the inverse function of f.
This implies that searching a plaintext for the key word without decryption cannot by completed in polynomial-time if f is really one-way. Under the same assumption, we cannot count in polynomial-time how many times the key word appears in the plaintext.

Report

(3 results)
  • 1999 Annual Research Report   Final Research Report Summary
  • 1998 Annual Research Report
  • Research Products

    (12 results)

All Other

All Publications (12 results)

  • [Publications] Takako Ito and Hiroki SHIZUYA: "On the difficulty of searching for a string without decryption"IEICE Trans. Fundamentals. E82-A-1. 134-137 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Masahiro MAMBO and Hiroki SHIZUYA: "A note on the complexity of breaking Okamoto-Tanaka ID-baced key exchange scheme"IEICE Trans. Fundamentals. E82-A-1. 77-80 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 近江貴晴 静谷啓樹 西関隆夫: "離散対数暗号系に付随する言語の複雑さについて"電子情報通信学会論文誌(A). J82-A-3. 405-414 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Mituru Tada and Hiroki SHIZUYA: "On the Σ^b_1-definability of integer factoring"IPSJ Transactions. 40・12. 4362-4369 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Mitsuru Tada and Hiroki Shizuya: "On the ΣィイD3b(/)1ィエD3-definability of integer factoring"IPSJ Transactions. 40-12. 4362-4369 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Takako ITO and Hiroki SHIZUYA: "On the difficulty of searching for a string without decryption."IEICE Trans. Fundamentals. E82-A-1. 134-137 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Masahiro MAMBO and Hiroki SHIZUYA: "A note on the complexity of breaking Okamoto-Tanaka ID-based key exchange scheme."IEICE Trans. Fundamentals. E82-A-1. 77-80 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Takaharu OHMI, Takao NISHIZEKI and Hiroki SHIZUYA: "On the complexity of languages associated with discrete log cryptosystems"IEICE Trans. A. J82-A-3. 405-414 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 近江貴晴、静谷啓樹、西関隆夫: "離散対数暗号系に付随する言語の複雑さについて"電子情報通信学会論文誌(A). J82-A・3. 405-414 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Mitsuru Tada and Hiroki Shizuya: "On the Σ^b_1-definability of Integer Factoring"IPSJ Transactions. 40・12. 4362-4369 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Takako ITO and Hiroki SHIZUYA: "On the difficulty of searching for a string without decryption" IEICE Trans.Fundamentals. E82-A・1. 134-137 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Masahiro MAMBO and Hiroki SHIZUYA: "A note on the complexity of breaking Okamoto-Tanaka ID-based key exchange scheme" IEICE Trans.Fundamentals. E82-A・1. 77-80 (1999)

    • Related Report
      1998 Annual Research Report

URL: 

Published: 1998-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi