密码学报（中英文）2024，Vol.11Issue(6)：1386-1398,13.DOI:10.13868/j.cnki.jcr.000743
GGM下函数加密的可模拟安全及证明工具设计
SIM Security of Functional Encryption Schemes in GGM and Design of Proof Tool
摘要
Abstract
Functional encryption(FE)is a new cryptographic primitive where each secret key is associated with a function and ciphertext is associated with a message.Given a secret key and a ciphertext,a decryptor can learn the function value of a message without leaking additional information about the message.The generic group model(GGM)is an idealized model that can be used to analyze the security of scheme construction.Since there are no effective attacks against it and it often admits schemes that are simpler and more efficient,many functional encryption schemes are proved secure in the GGM.In 2017,Baltico et al.proposed the first public-key quadratic functional encryption scheme and proved it adaptively indistinguishable security in the GGM.Nevertheless,no public-key functional encryption scheme can achieve adaptively simulation-based security in both the standard models and GGM.According to the definition of public-key quadratic functional encryption with simulation-based security,Baltico's scheme adaptively simulation-based security is proved in the GGM,which will enhance the security of the scheme.Since the proof process is complicated,an automatic proof tool is designed for proving public-key quadratic functional encryption schemes with simulation-based security in the GGM.This tool is the first automatic proof tool designed for functional encryption schemes,and it not only can quickly test simulation-based security of functional encryption schemes in the GGM,but also can be used as a preliminary verification of constructing secure functional encryption schemes in the standard models.关键词
公钥二次函数加密/通用群模型/自适应可模拟安全/自动证明工具Key words
public-key quadratic functional encryption/generic group model(GGM)/adaptively simulation-based security/automatic proof tool分类
信息技术与安全科学引用本文复制引用
孔若伊,王更,谷大武..GGM下函数加密的可模拟安全及证明工具设计[J].密码学报（中英文）,2024,11(6):1386-1398,13.基金项目
国家自然科学基金(62202294) （62202294）
国家重点研发计划(2020YFA0712300)National Natural Science Foundation of China(62202294) （2020YFA0712300）
National Key Research and Development Program of China(2020YFA0712300) （2020YFA0712300）
