期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于符号执行的软件缓存侧信道脆弱性检测技术
被引量:
8
1
作者
杨超
郭云飞
+3 位作者
扈红超
刘文彦
霍树民
王亚文
《电子学报》
EI
CAS
CSCD
北大核心
2019年第6期1194-1200,共7页
缓存侧信道攻击的基础是程序针对不同敏感信息将访问不同的缓存地址.本文提出基于符号执行的缓存侧信道脆弱性检测技术,通过符号化敏感信息的数据传播过程定位潜在的脆弱点,并通过比较其可能的不同缓存访问地址,判断上述代码在缓存攻击...
缓存侧信道攻击的基础是程序针对不同敏感信息将访问不同的缓存地址.本文提出基于符号执行的缓存侧信道脆弱性检测技术,通过符号化敏感信息的数据传播过程定位潜在的脆弱点,并通过比较其可能的不同缓存访问地址,判断上述代码在缓存攻击中的可利用性.本文开发了原型系统 CSCVulDiscover,并针对 RSA等 3种密码算法的 12类实现代码进行测试,总共发现了 125个脆弱点.
展开更多
关键词
缓存
侧信道攻击
符号执行
脆弱性检测
差分缓存访问
污点分析
数据传播
脆弱点
可利用性
下载PDF
职称材料
题名
基于符号执行的软件缓存侧信道脆弱性检测技术
被引量:
8
1
作者
杨超
郭云飞
扈红超
刘文彦
霍树民
王亚文
机构
国家数字交换系统工程技术研究中心
出处
《电子学报》
EI
CAS
CSCD
北大核心
2019年第6期1194-1200,共7页
基金
国家自然科学基金创新群体项目(No.61521003)
国家自然科学基金项目(No.61602509)
+1 种基金
国家重点研发计划项目(No.2016YFB0800100,No.2016YFB0800101)
河南省科技攻关计划项目(No.172102210615)
文摘
缓存侧信道攻击的基础是程序针对不同敏感信息将访问不同的缓存地址.本文提出基于符号执行的缓存侧信道脆弱性检测技术,通过符号化敏感信息的数据传播过程定位潜在的脆弱点,并通过比较其可能的不同缓存访问地址,判断上述代码在缓存攻击中的可利用性.本文开发了原型系统 CSCVulDiscover,并针对 RSA等 3种密码算法的 12类实现代码进行测试,总共发现了 125个脆弱点.
关键词
缓存
侧信道攻击
符号执行
脆弱性检测
差分缓存访问
污点分析
数据传播
脆弱点
可利用性
Keywords
cache-based side-channel attack
vulnerability detection
symbolic execution
differential cache access
taint analysis
data propagation
vulnerabilities
exploitability
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于符号执行的软件缓存侧信道脆弱性检测技术
杨超
郭云飞
扈红超
刘文彦
霍树民
王亚文
《电子学报》
EI
CAS
CSCD
北大核心
2019
8
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部