SCVerify:抗功耗侧信道攻击软件实现的验证

doi:10.3778/j.issn.1673-9418.2002047

	SCVerify:抗功耗侧信道攻击软件实现的验证
其他题名	SCVerify: Verification of Software Implementation Against Power Side-Channel Attacks
	张俊1,2,3
	2021-06-28
发表期刊	计算机科学与探索
ISSN	1673-9418
卷号	15 期号:6 页码:1074-1083
发表状态	已发表
DOI	10.3778/j.issn.1673-9418.2002047
摘要	功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁.随机掩码是一种被广泛使用的用来消除密钥数据和侧信道泄露数据之间关联性的对策.尽管现有技术可以验证加密软件代码是否被随机掩码保护,但是它们在准确性和可扩展性方面受到限制.为消除此类限制,提出了一种基于原有技术改进过的验证随机掩码策略的方法,该方法比已有的基于句法类型的推断技术更准确,比使用SAT(SMT)模型计数的方法更具有可扩展性.实际上,该方法使用一系列语义类型推导规则去推导分布类型,这些规则最初保持抽象以允许快速推导,然后具体化那些抽象规则推导解决不了的验证问题.此类细化方法集成在验证工具SCVerify中,并使用包含AES和MAC-Keccak等加密算法的测试用例进行了验证,实验结果表明此方法在准确性和可扩展性方面明显优于当前的技术.
关键词	侧信道攻击可满足性模理论(SMT) 软件验证类型推导形式化验证
URL	查看原文
收录类别	北大核心 ; CSCD
语种	中文
原始文献类型	Periodical
来源库	WanFang
中图分类号	TN918
文献类型	期刊论文
条目标识符	https://kms.shanghaitech.edu.cn/handle/2MSLDSTB/256216
专题	信息科学与技术学院_硕士生
作者单位	1.中国科学院上海微系统与信息技术研究所,上海 200050; 2.上海科技大学信息科学与技术学院,上海 201210; 3.中国科学院大学,北京 100049
第一作者单位	信息科学与技术学院
推荐引用方式 GB/T 7714	张俊. SCVerify:抗功耗侧信道攻击软件实现的验证[J]. 计算机科学与探索,2021,15(6):1074-1083.
APA	张俊.(2021).SCVerify:抗功耗侧信道攻击软件实现的验证.计算机科学与探索,15(6),1074-1083.
MLA	张俊."SCVerify:抗功耗侧信道攻击软件实现的验证".计算机科学与探索 15.6(2021):1074-1083.