2. 您的位置
3. 首页
4. 期刊论文
5. 基于符号执行的软件缓存侧信道脆弱性检测技术

基于符号执行的软件缓存侧信道脆弱性检测技术

来源 :电子学报 | 被引量 : 0次 | 上传用户：z18388596

【摘 要】

：

缓存侧信道攻击的基础是程序针对不同敏感信息将访问不同的缓存地址.本文提出基于符号执行的缓存侧信道脆弱性检测技术,通过符号化敏感信息的数据传播过程定位潜在的脆弱点,

【作 者】

：

杨超 郭云飞 扈红超 刘文彦 霍树民 王亚文 

【机 构】

：

国家数字交换系统工程技术研究中心

【出 处】

：

电子学报

【发表日期】

：

2019年6期

【关键词】

：

缓存侧信道攻击 符号执行 脆弱性检测 差分缓存访问 污点分析 数据传播 脆弱点 可利用性 cache-based side-channel attack vul 

【基金项目】

：

国家自然科学基金创新群体项目(No.61521003),国家自然科学基金项目(No.61602509),国家重点研发计划项目(No.2016YFB0800100,No.2016YFB0800101),河南省科技攻关计划项目(No.172102210615).

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

缓存侧信道攻击的基础是程序针对不同敏感信息将访问不同的缓存地址.本文提出基于符号执行的缓存侧信道脆弱性检测技术,通过符号化敏感信息的数据传播过程定位潜在的脆弱点,并通过比较其可能的不同缓存访问地址,判断上述代码在缓存攻击中的可利用性.本文开发了原型系统 CSCVulDiscover,并针对 RSA等 3种密码算法的 12类实现代码进行测试,总共发现了 125个脆弱点.

其他文献

自来水公司地理信息系统分步实施研究

摘要 通过分析自来水管网管理需求，对地理信息系统建设提出分步实施方案，并对各阶段进行效果预期，达到逐步推进、最终形成专家系统，达到管网全面管控的目的。　　关键词 自来水管网；建设；地理信息系统　　中图分类号 P208 文献标识码 A 文章编号 1673-9671-（2013）012-0133-01　　城市配水管网如城市的血液，遍布城市的各个角落。管径不一，材质各异，敷设时间长，地表复杂，传统的管理

期刊

自来水管网建设地理信息系统

加强建筑施工企业会计核算的思考

随着我国经济的发展,建筑施工企业面临越来越激烈的竞争。建筑施工企业的会计核算一方面可以反映企业的财务信息,辅助企业改善内部管理,找到开源节流的最佳途径,提高企业的经

期刊

建筑施工企业会计核算内控

局域网环境下传播作品问题的定性——《不见不散》信息网络传播权纠纷案评析

互联网上的视频点播系统即使设置了技术措施,也没有改变涉案网站的性质,其仍然是位于互联网中的一个站点。在局域网中传播作品也构成信息网络传播行为。但信息网络传播权虽然

期刊

局域网信息网络传播权限制与例外案例评析

中国青藏高原研究会2012年学术年会在广西举办

12月20～21日，中国青藏高原研究会2012年学术年会在广西壮族自治区北海市举办。本届年会的主题为“青藏高原地表圈层相互作用及其环境影响”。会议与国家自然科学基金重大项目“第三极地球系统中水体的多相态转换及其影响”、国家重大科学研究计划项目“青藏高原气候系统变化及其对东亚区域的影响与机制研究”、科技部基础性工作专项“青藏高原资料匮乏区综合科学考察”、中国科学院战略性先导科技专项“青藏高原多圈层相

期刊

广西壮族自治区中国科学院青藏高原学术年会国家自然科学基金相互作用大科学研究环境影响

辽宁省科协到建昌县小德营子乡开展系列扶贫活动

五月的建昌，春回大地，万象更新。辽宁省科协机关党员干部40多人来到建昌县小德营子乡开展了系列扶贫帮困活动。在乡政府院内举行了省科协“下基层、送科技、转作风、送温暖”为

期刊

辽宁省科协建昌县扶贫活动机关党员干部扶贫帮困活动服务活动党组书记乡政府

揭示象鼻虫身上五彩“珠宝”秘密:用以吸引配偶

据国外媒体报道，钻石象鼻虫（diamond weevil）的乌黑的翅膀上覆盖着波光粼粼、彩虹色的鳞片，就像披着一件镶满宝石的大衣。自从19世纪初发现象鼻虫以来，研究人员就一直在研究象鼻虫身上的这些“钻石”，但一直没有人知道象鼻虫身上的鳞片为什么会反射如此多彩的光。　　直到最近，一项新的技术终于发现了象鼻虫身上五彩“珠宝”的秘密：甲壳素晶体以钻石型排列，反射阳光中的绿色、黄色和橙色。大多数人认为钻石

期刊

配偶秘密珠宝19世纪初媒体报道研究人员

城市旅游景点交互式虚拟展示

我国作为旅游资源丰富的国家,一直不断推进着对旅游资源的挖掘和利用,旅游业的发展已经不是像以前那样独立成一个系统发展,随着高新技术不断地进步,旅游业开始越来越多地运用

期刊