权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Secure and efficient substring searchable symmetric encryption using advanced data structure

使用先进数据结构的安全高效的子串可搜索对称加密

基本信息

批准号：
20K11808
负责人：
山本博章
金额：
$ 2.75万
依托单位：
Shinshu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2020
资助国家：
日本
起止时间：
2020-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

次の3点について実施した。１．DAWGを用いた部分文字列検索可能暗号の改善：文字列に対するDAWG(directed acyclic word graph)とは、その文字列のすべての部分文字列を受理する決定性有限オートマトンである。申請者は、DAWGをその状態遷移の記号がすべて異なるように改良した拡張型DAWGを用いた新たな部分文字列検索可能暗号を開発した。本年度は得られた結果を論文としてまとめ公表した。さらに、テキストからDAWGを構成する線形時間アルゴリズムを利用し、暗号化索引を高速に構成するようにアルゴリズムを改善した。２．正規表現検索に向けた検索可能暗号の開発：テキストに対する暗号化索引の作成に向けde Bruijnグラフに基づく手法を提案した。テキストに対するde Bruijnグラフは、任意の正の数kに対し、テキスト中に出現するk-gram（長さkの部分文字列）をノードとしたグラフ構造である。すべてのノードは異なるk-gramからなるため、このグラフをベースとした暗号化索引はテキスト中に出現する文字列の出現頻度を隠すことができる。その結果、安全性の高いシステムの構成が期待できる。本年度は、正規表現の閉包演算ない表現（文字列の有限集合を表す）に対し検索可能暗号を開発した。閉包演算を導入した場合、安全性の証明、さらなる検索効率の改良については今後の課題である。３．効率性の改善に向け局所性を考慮した動的検索可能暗号の開発：アシャロフらは、安全性の強度を落とさずに検索効率を上げるため、サーバに保存する暗号化索引に対し、局所性の概念を導入し、検索効率を改善する方法を提案した。彼らは、カートモラらの手法を改善する形で議論しているため、追加等の更新作業について議論していない。ここでは、追加機能を考慮した手法について提案した。

Every time at 3: 00 a. M., we will give a gift. 1.DAWG may improve the code with partial text columns: text columns such as "DAWG (directed acyclic word graph)", "text columns", "text columns", "partial text columns", "accept", "limited decisions", "limited decisions". The applicant's and DAWG's status transfer symbol may indicate that some of the text lines of the new version of the DAWG may be opened with a code code. The results of this year's report show that the public table is in full swing. In order to improve the performance of the system, the use of the code code and the high-speed index of the DAWG are used to improve the performance of the system. 2. Regularization shows that the code may be open: make sure that the code index is used to make a proposal to the de Bruijn system. Please tell me that the k-gram (long partial text column) appears in any number of de Bruijn words, any number of which is positive. This means that the text column appears in the text column that appears in the code index, and the text column appears in the text column. The result of the test, the security is high, and the result is expected to be high. This year's regular performance package calculus (text column limited collection table) may be used as a code to start the operation. The package calculus is integrated, the safety is clear, and the demand rate is improved. 3. To improve the performance of the local information system, the code may be used to improve the performance of the local information system. The following code may be used to improve the performance of the local information system: the system, the security strength, the demand rate, the index index, the concept, and the method of improving the security performance. To improve the shape of the system, to improve the shape of the system, to update the operation system, to update the operation system, to improve the shape of the system, to update the operation system, to improve the shape of the system, and so on. It is necessary to make an examination of the methods and methods of the proposal.

项目成果

期刊论文数量（11）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

検証可能な機能に向けた検索可能暗号

用于可验证功能的可搜索密码学

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
小澤響平;山本博章;藤原洋志
通讯作者：
藤原洋志

正規表現に対する検索可能暗号の改良

改进了正则表达式的可搜索密码

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
伊藤天啓;山本博章;藤原洋志
通讯作者：
藤原洋志

動的データに向けた部分文字列検索可能暗号

动态数据的子串可搜索密码学

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
藤村享平;山本博章;藤原洋志
通讯作者：
藤原洋志

ProVerifによる検索可能暗号の形式的安全性検証について

关于使用 ProVerif 对可搜索密码进行形式化安全验证

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Yamakawa Daiki;Okimoto Takashi;Teerakanok Songpon;Inomata Atsuo;Uehara Tetsutaro;鈴木孝誠，山本博章，三重野武彦，荒井研一，岡崎裕之，布田裕一
通讯作者：
鈴木孝誠，山本博章，三重野武彦，荒井研一，岡崎裕之，布田裕一

正規表現に対する最短文字列検索アルゴリズムの並列化

正则表达式最短字符串搜索算法的并行化