1、可证明安全性会议与属性基加密方案解读

可证明安全性会议与属性基加密方案解读

会议概况

2016 年 11 月 10 - 11 日，第十届国际可证明安全性会议（ProvSec 2016）在中国南京举行，该会议由南京财经大学组织。会议安排了两场特邀报告和 23 篇投稿论文展示。特别感谢来自挪威科技大学的 Colin Boyd 和伦敦大学学院的 Jens Groth 这两位杰出的主旨演讲者，他们带来了极具启发性的演讲。

此次会议从 16 个国家的 79 篇投稿中选出了 23 篇论文，这些论文涵盖了可证明安全研究领域的多个主题，具体如下表所示：
|研究领域|具体内容|
| ---- | ---- |
|属性/角色基加密|可问责的密文策略属性基加密方案、高效且表达性强的部分隐藏访问结构的密文策略属性基加密方案等|
|云数据|基于 RSA 的抗密钥泄露的 ID 基数据完整性审计方案、基于动态二叉树的高效动态可证明数据持有方案等|
|可搜索加密|云计算中保持完整性的多关键字可搜索加密、带授权的遗忘关键字搜索等|
|密钥管理|组播密钥分发、多方环境下的一轮属性基密钥交换等|
|加密|基于流密码的认证加密的完整性分析、带经销商的广播加密的安全高效构造等|
|泄漏分析|可更新的有损陷门函数及其在连续泄漏中的应用、有界泄漏模型下强不可伪造签名方案的黑盒构造等|
|同态加密|基于格的同态代理重加密、防止对 GSW 分层同态加密方案的自适应密钥恢复攻击等|

会议的成功举办离不开众多人员的帮助和辛勤付出。首先要感谢程序委员会和额外的审稿人，他们进行了仔细而全面的评审，大多数论文至少由三人评审，许多论文由四到五人评审，并且花费了大量时间讨论论文。还要感谢辛勤