典型文献
RISC-V架构上的时间侧信道静态检测研究
文献摘要：
时间侧信道攻击对开源RISC-V架构的软件机密性有严重威胁,而目前对于RISC-V架构上的时间侧信道泄露静态检测的研究较为缺乏.文章评估了常见的时间侧信道泄露静态分析方法的适用范围和优缺点,根据RISC-V汇编语言的特点优化检测算法,针对RISC-V的64位通用指令集RV64G实现了结合信息流分析和简化符号执行理论的时间侧信道检测模型.文章对通用开源网络通信密码库OpenSSL和NaCl的AES、RSA等密码算法实现进行测试,测试结果表明,相较于现有工具中准确率最高的模型,文章所提模型在相同的测试向量下准确率提高了约17％,漏报率降低了约22％,加快了检测速度并在一定程度上缓解了路径爆炸问题,为RISC-V架构上侧信道攻击安全检测工具设计提供了参考.
文献关键词：
时间侧信道;静态检测;RISC-V架构;密码算法
中图分类号：
作者姓名：
唐明;黎聪;李永波;岳天羽
作者机构：
武汉大学国家网络安全学院,武汉 430064;武汉大学空天信息安全与可信计算教育部重点实验室,武汉 430064;北京航空航天大学网络空间安全学院,北京 100191
文献出处：
引用格式：
[1]唐明;黎聪;李永波;岳天羽-.RISC-V架构上的时间侧信道静态检测研究)[J].信息网络安全,2022(04):7-19
A类：
RV64G
B类：
RISC,时间侧信道,静态检测,侧信道攻击,开源,机密性,静态分析,汇编语言,语言的特点,优化检测,检测算法,指令集,信息流分析,符号执行,检测模型,网络通信,OpenSSL,NaCl,AES,RSA,密码算法,算法实现,测试向量,漏报率,检测速度,安全检测,检测工具,工具设计
AB值：
0.342441
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
