GGM 下函数加密的可模拟安全及证明工具设计

函数加密是一种新型原语, 通过函数密钥解密可以得到关于消息的函数值, 而不会泄露消息的其他信息. 通用群模型 (generic group model, GGM) 是一种可以用来分析方案构造安全性的理想化模型. 由于目前还没有针对 GGM 的有效攻击, 且能在 GGM 下证明安全的方案都比较高效, 越来越多的函数加密方案在 GGM 下证明安全性. 2017 年, Baltico 等人提出了第一个公钥二次函数加密方案, 并在 GGM 下证明了自适应的不可区分安全性. 然而, 目前无论是在标准假设还是 GGM 下, 没有能达到自适应可模拟安全性的公钥二次函数加密方案. 本文根据公钥二次函数加密可模...

Full description

Saved in:
Bibliographic Details
Published inJournal of Cryptologic Research Vol. 11; no. 6; p. 1386
Main Authors Ruo-Yi, KONG, WANG, Geng, Da-Wu, GU, 孔若伊, 王更, 谷大武
Format Journal Article
LanguageChinese
Published Beijing Chinese Association for Cryptologic Research, Journal of Cryptologic Research 01.12.2024
Subjects
Encryption
Messages
Security
Simulation
Online AccessGet full text

Cover

Abstract 函数加密是一种新型原语, 通过函数密钥解密可以得到关于消息的函数值, 而不会泄露消息的其他信息. 通用群模型 (generic group model, GGM) 是一种可以用来分析方案构造安全性的理想化模型. 由于目前还没有针对 GGM 的有效攻击, 且能在 GGM 下证明安全的方案都比较高效, 越来越多的函数加密方案在 GGM 下证明安全性. 2017 年, Baltico 等人提出了第一个公钥二次函数加密方案, 并在 GGM 下证明了自适应的不可区分安全性. 然而, 目前无论是在标准假设还是 GGM 下, 没有能达到自适应可模拟安全性的公钥二次函数加密方案. 本文根据公钥二次函数加密可模拟安全的定义, 证明了 Baltico 等人提出的方案在 GGM 下具有更强的自适应可模拟安全性. 由于证明过程繁琐, 本文借助计算机辅助, 设计了在 GGM 下证明公钥二次函数加密方案具有可模拟安全性的自动证明工具. 该工具是第一个针对函数加密方案设计的自动证明工具, 且该工具不仅能快速测试在 GGM 下构造的函数方案是否具有可模拟安全性, 还可以作为标准假设下构造安全函数加密方案的初步验证.
AbstractList 函数加密是一种新型原语, 通过函数密钥解密可以得到关于消息的函数值, 而不会泄露消息的其他信息. 通用群模型 (generic group model, GGM) 是一种可以用来分析方案构造安全性的理想化模型. 由于目前还没有针对 GGM 的有效攻击, 且能在 GGM 下证明安全的方案都比较高效, 越来越多的函数加密方案在 GGM 下证明安全性. 2017 年, Baltico 等人提出了第一个公钥二次函数加密方案, 并在 GGM 下证明了自适应的不可区分安全性. 然而, 目前无论是在标准假设还是 GGM 下, 没有能达到自适应可模拟安全性的公钥二次函数加密方案. 本文根据公钥二次函数加密可模拟安全的定义, 证明了 Baltico 等人提出的方案在 GGM 下具有更强的自适应可模拟安全性. 由于证明过程繁琐, 本文借助计算机辅助, 设计了在 GGM 下证明公钥二次函数加密方案具有可模拟安全性的自动证明工具. 该工具是第一个针对函数加密方案设计的自动证明工具, 且该工具不仅能快速测试在 GGM 下构造的函数方案是否具有可模拟安全性, 还可以作为标准假设下构造安全函数加密方案的初步验证.
Author Da-Wu, GU
WANG, Geng
Ruo-Yi, KONG
王更
孔若伊
谷大武
Author_xml – sequence: 1
  givenname: KONG
  surname: Ruo-Yi
  fullname: Ruo-Yi, KONG
– sequence: 2
  givenname: Geng
  surname: WANG
  fullname: WANG, Geng
– sequence: 3
  givenname: GU
  surname: Da-Wu
  fullname: Da-Wu, GU
– sequence: 4
  fullname: 孔若伊
– sequence: 5
  fullname: 王更
– sequence: 6
  fullname: 谷大武
BookMark eNotj7FKw0Acxm-oYK19ASfBOfH-d7m7xE2KtkLFReeSXO6gUZKa2AcQrGILdhLERTsInRK3uujTeDGPYUCnj2_5fb9vAzXiJFYIbQG2gbrc3Y1sGZ8P7UimNsZYOLSBmgR7wnIA-DpqZ9kwwIxx6hIHmmiv2z3e_v6YmbvP8vHdTF9NcfvzfGPmRblclLMXk9-bydLMp1VxXT49mNWbmayq_KvKF5toTfsXmWr_ZwudHR6cdnpW_6R71NnvWyMgLliKScmIJykR2sM-06A9rX1KZCiEqhvDQEmoGXi1IgtDGvrcx4EUDleBILSFdv64ozS5HKvsahAl4zSuJwcUXKivcIfRX_MrXVE
ContentType Journal Article
Copyright 2024. This work is published under http://www.jcr.cacrnet.org.cn/EN/column/column4.shtml Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2024. This work is published under http://www.jcr.cacrnet.org.cn/EN/column/column4.shtml Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
P5Z
P62
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
DOI 10.13868/j.cnki.jcr.000743
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Central
Technology Collection
ProQuest One Community College
ProQuest Central Korea
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic
ProQuest One Academic UKI Edition
ProQuest Central China
DatabaseTitle Publicly Available Content Database
Advanced Technologies & Aerospace Collection
Computer Science Database
ProQuest Central Student
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
Advanced Technologies & Aerospace Database
ProQuest One Applied & Life Sciences
ProQuest One Academic UKI Edition
ProQuest Central Korea
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: 8FG
  name: ProQuest Technology Collection
  url: https://search.proquest.com/technologycollection1
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
GroupedDBID -SI
-S~
8FE
8FG
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
ARAPS
AZQEC
BENPR
BGLVJ
CAJEI
CCPQU
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
P62
PB1
PB9
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
Q--
ID FETCH-LOGICAL-p1281-e5cc529c327f90a5f1f9ffa32cd77ef1f50132df5194115dd3da6a0bc746eb723
IEDL.DBID BENPR
ISSN 2097-4116
IngestDate Mon Jun 30 12:02:41 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Issue 6
Language Chinese
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-p1281-e5cc529c327f90a5f1f9ffa32cd77ef1f50132df5194115dd3da6a0bc746eb723
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
OpenAccessLink https://www.proquest.com/docview/3181563645?pq-origsite=%requestingapplication%
PQID 3181563645
PQPubID 6503834
ParticipantIDs proquest_journals_3181563645
PublicationCentury 2000
PublicationDate 2024-12-01
PublicationDateYYYYMMDD 2024-12-01
PublicationDate_xml – month: 12
  year: 2024
  text: 2024-12-01
  day: 01
PublicationDecade 2020
PublicationPlace Beijing
PublicationPlace_xml – name: Beijing
PublicationTitle Journal of Cryptologic Research
PublicationYear 2024
Publisher Chinese Association for Cryptologic Research, Journal of Cryptologic Research
Publisher_xml – name: Chinese Association for Cryptologic Research, Journal of Cryptologic Research
SSID ssib055638241
ssib058688234
Score 2.375397
Snippet 函数加密是一种新型原语, 通过函数密钥解密可以得到关于消息的函数值, 而不会泄露消息的其他信息. 通用群模型 (generic group model, GGM) 是一种可以用来分析方案构造安全性的理想化模型. 由于目前还没有针对 GGM 的有效攻击, 且能在 GGM 下证明安全的方案都比较高效,...
SourceID proquest
SourceType Aggregation Database
StartPage 1386
SubjectTerms Encryption
Messages
Security
Simulation
Title GGM 下函数加密的可模拟安全及证明工具设计
URI https://www.proquest.com/docview/3181563645
Volume 11
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV07SwNBEF5M0tiIouKbFLab3O3d3t7ZiEoSERJEDKQLe7u3aIQkvho7wShGMJUgNmohpErsYqO_xj3zM9y7XEghWC5T7c4w38x8szMArOpcZTceopByC0OTIg9S3XWgpwnk6ogRNxyllC9Y20Vzp4RLUcHtNGqrHPrE0FHzGgtq5GlleyrVCEiz9foxDLZGBexqtEIjBhLKBdt2HCQ2M4XdvaFFBdOvbDQCfGxbKqIMqWakOQSaum5FP2kMJUpXUqx6dJiqsJPUAFz_eOgQdrKTYCKKF5MbAwVPgbGLg2mwlsvlk98fd_Lm0394l80X2b3-ebqSra7ffvXvnmXnVjbastXsdy_9x3vZe5ONXr_z1e-8zoBiNrO_tQ2jJQiwHpBc0MOMYeQwAxHhaBQLXThCUAMxToinTjhgS7hQkZi6Debc4NSimsuIaXkuQcYsiFdrVW8OJDFhnAlOCRWaSYgWpDqW6doc64IKhufB0vCy5ciST8ujd1_4X7wIxpEC_EGrxxKIn52ce8sKsM_cFRCzs7mVSDe_2V6nRQ
linkProvider ProQuest
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07SwNBEF6CFtqIouLbFFpuvNu7vc0JIqLmocZKwS7u7QMfEN-IdoIPVDCVIDaaQrBK7LTRX-PG_Ax3LzksBDvLY-Hgdr6b-Wa_nRkARmyusxuBKKTcw9ClSEBqBz4UlkSBjRgJwlZKuUUvs-zOreCVGChHtTDmWmXkE0NHzbeYOSMf09jTqYYRzSa3d6CZGmXU1WiERh0W8-LoUKdsexPZGW3fUYRSs0vTGdiYKgC3jWoEBWYMI585iEjfolja0peSOohxQoR-wkZ-4FJTG1fTJc4dTj1qBYy4ngiIaXSgXX6z6-hIbirTU-kIv6bXVhL90Auc9DR_DYVtZPkE6td5jbodRy-NbSRYYXM9scF2E_VQ_isehEEu1Q7aGuw0PlWHUweIHa91gvF0Ohf_fLtWF-_V2xd19agq51_3p6pYqT6XqtcPqnypzp5V8apWOane3ajXJ3X2Wit_1MqlLrD8L5vTDZoKWwXRA-KYMM4kp4RKyyXEMomV5wZJjm1JJcO9YCD62Hzjv9nL_1i57-_lYdCSWcot5Beyi_P9oBVpqlG_ZDIAmvZ3D8Sgpgr7wVBonzhY_W9AfAPJhuJL
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=GGM+%E4%B8%8B%E5%87%BD%E6%95%B0%E5%8A%A0%E5%AF%86%E7%9A%84%E5%8F%AF%E6%A8%A1%E6%8B%9F%E5%AE%89%E5%85%A8%E5%8F%8A%E8%AF%81%E6%98%8E%E5%B7%A5%E5%85%B7%E8%AE%BE%E8%AE%A1&rft.jtitle=Journal+of+Cryptologic+Research&rft.au=Ruo-Yi%2C+KONG&rft.au=WANG%2C+Geng&rft.au=Da-Wu%2C+GU&rft.au=%E5%AD%94%E8%8B%A5%E4%BC%8A&rft.date=2024-12-01&rft.pub=Chinese+Association+for+Cryptologic+Research%2C+Journal+of+Cryptologic+Research&rft.issn=2097-4116&rft.volume=11&rft.issue=6&rft.spage=1386&rft_id=info:doi/10.13868%2Fj.cnki.jcr.000743
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2097-4116&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2097-4116&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2097-4116&client=summon