近日，通信领域旗舰会议IEEE International Conference on Communications （IEEE ICC） 2024在美国召开，我院副研究员李萌课题组的研究成果“Secure, Availability, Verifiable, and Efficient Range Query Processing on Outsourced Datasets”在众多论文中脱颖而出，获得了本次大会最佳论文奖，这也是本次大会通信和信息系统安全分会唯一获奖论文。第二作者是我院2023届硕士毕业生高剑博，当前正于北京理工大学网络空间安全学院继续攻读博士学位。该论文聚焦于安全范围查询的结果可验证问题。范围查询允许数据用户将其数据外包给云服务器，该服务器响应提交具有范围条件的请求的数据用户。然而，安全问题阻碍了其广泛运用。现有的工作忽视查询项目的可用性，未能提供安全验证保护或为了效率而牺牲搜索准确性。该研究提出安全、可用、可验证和高效范围查询方案（SAVE），具有三个显著的特点：针对恶意云服务器的安全可用性检查，设计了一个基于密钥索引和安全验证机制来检查匹配节点可用性的方案，包括有效性和新鲜度检验；为查询结果的正确性和完整性，在不影响安全性的条件下设计了一种有针对性的验证机制；设计了一种分层编码方法来提高搜索效率和准确性。该研究形式化地陈述并证明了SAVE在随机预言机模型中的安全性，并在多个数据集上进行了广泛的实验来验证效率。

作为IEEE通信协会的两大旗舰会议之一，IEEE ICC已成为全球通信网络领域规模最大、最具影响力的标志性学术会议之一，涵盖了下一代网络、移动互联网、认知无线网络、信息理论、无线通信、通信信号处理、光通信、多媒体通信、信息安全等各个领域,每年吸引约2000名科学家、研究者和工业界人士参加。本届会议共收到来自世界多个国家的学术论文2364余篇，录用939余篇，并遴选15篇作为最佳论文，获奖率仅为投稿量的千分之六。

计算机与信息学院（人工智能学院）

2024年6月13日