大规模监视下安全性定义再分析

作     者：李耕 刘建伟 张宗洋 LI Geng;LIU Jian-Wei;ZHANG Zong-Yang

作者机构：北京航空航天大学网络空间安全学院北京100083 空天网络安全工业和信息化部重点实验室北京100083 

基　　金：国家自然科学基金(61972017,61972018,61932014) 北京市自然科学基金(4182033) 国家密码发展基金(MMJJ20180215) 中央高校基本科研业务费(YWF-20-BJ-J-1039) 

出 版 物：《密码学报》 (Journal of Cryptologic Research)

年 卷 期：2020年第7卷第3期

页      码：326-341页

摘      要："棱镜门"等一系列相关事件显示,部分国家的情报机构能通过颠覆攻击的手段窃取用户隐私信息.目前,密码体制具有抗颠覆性主要以无隐写性作为标准,该标准要求较高,使得大部分现有防御方法可行性较低.针对这一问题,本文提出了一种新的针对颠覆攻击的安全定义-抗颠覆安全保留性.相比于无隐写性,抗颠覆安全保留性不再要求监视者无法区分颠覆执行的输出与算法说明的输出,而仅要求所有能通过黑盒测试的颠覆执行仍然能够实现某种具体的安全性,因此要求低于无隐写性;并且能够更加直观地反映现实颠覆威胁下的安全需求,能够为设计抗颠覆密码体制提供更多的思路和空间.在此安全定义下,本文提出了算法隔离运行的防御方法,在"分割-融合模型"的基础上,对分割后的部分算法进行隔离,使之无法获取密码系统的业务数据,具有更高的现实可行性;分别在部分颠覆模型和完全颠覆模型下,设计了基于算法隔离运行的满足抗颠覆安全保留性的对称加密体制构造方法.

主 题 词：后斯诺登密码学 cliptography 颠覆攻击 对称加密体制 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 0839[0839] 0714[0714] 0835[0835] 0701[理学-数学类] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13868/j.cnki.jcr.000371

馆 藏 号：203943601...