期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向云边协同场景中固件的模糊测试方法
1
作者
陶慈
王逸
+1 位作者
张蕾
陈平
《信息网络安全》
北大核心
2025年第10期1537-1545,共9页
在云边协同场景中,保障海量边缘设备固件安全面临状态感知困难和执行效率低下的双重挑战。由于固件通常以二进制形式发布,依赖源码插桩的状态感知方法不再适用。同时,在x86平台上对ARM等异构架构固件进行高效全系统仿真成为现有技术的瓶...
在云边协同场景中,保障海量边缘设备固件安全面临状态感知困难和执行效率低下的双重挑战。由于固件通常以二进制形式发布,依赖源码插桩的状态感知方法不再适用。同时,在x86平台上对ARM等异构架构固件进行高效全系统仿真成为现有技术的瓶颈,严重限制了模糊测试的吞吐量。针对这些问题,文章提出一种面向ARM架构固件的高效模糊测试框架。为突破跨架构仿真的性能瓶颈,文章将fork机制应用于QEMU内部,设计并实现了一种不依赖特定硬件(如Intel VT-x)的轻量级、跨架构全系统虚拟机快照技术。为实现无源码下的状态感知,文章实现了基于网络数据包、内存数据聚类和调用堆栈分析的多种状态识别方法。此外,统一的代理模块还支持对网络服务等复杂目标的透明测试。实验结果表明,该框架在测试效率上取得近19%的提升,成功复现了CVE-2019-15232等已知漏洞,并验证了其在无源码条件下对程序进行状态建模的能力,为云边协同安全测试提供了有效的解决方案。
展开更多
关键词
云边协同
固件模糊测试
RM模拟
系统级快照
状态感知
在线阅读
下载PDF
职称材料
用于FPGA的多层次集成设计系统的设计与实现
被引量:
6
2
作者
张峰
李艳
+13 位作者
韩小炜
李明
张倩莉
陈亮
吴利华
张国全
刘贵宅
郭旭峰
杨波
赵岩
王剑
李建忠
于芳
刘忠立
《深圳大学学报(理工版)》
EI
CAS
北大核心
2012年第5期377-385,共9页
针对当前现场可编程门阵列(field programmable gate array,FPGA)领域,电子设计自动化(electronic design automation,EDA)工具集成度不够高、不具备用户自主设计FPGA芯片的功能等问题,设计并实现一套完整的FPGA多层次集成设计系统(vers...
针对当前现场可编程门阵列(field programmable gate array,FPGA)领域,电子设计自动化(electronic design automation,EDA)工具集成度不够高、不具备用户自主设计FPGA芯片的功能等问题,设计并实现一套完整的FPGA多层次集成设计系统(versatile design system,VDS).该系统包括高度集成的设计开发环境和FPGA芯片级到系统级的设计与验证工具,为设计、应用和验证自主研发的FPGA芯片提供了一个有效平台.VDS的显著特点在于提供了全自动芯片生成功能,使用户能根据自身需要灵活控制芯片的规模和功能,快速开发一系列的适应不同应用的FPGA.借助VDS成功设计出两款FPGA芯片,通过对FPGA进行电路设计以及对芯片和应用进行仿真与验证,证明了VDS的有效可行.
展开更多
关键词
微电子学
现场可编程门阵列
电子设计自动化
集成设计系统
用户图形界面
架构设计
版图设计
系统级设计
芯片仿真
芯片板级测试
在线阅读
下载PDF
职称材料
题名
面向云边协同场景中固件的模糊测试方法
1
作者
陶慈
王逸
张蕾
陈平
机构
复旦大学大数据研究院
出处
《信息网络安全》
北大核心
2025年第10期1537-1545,共9页
基金
国家重点研发计划[2022YFB3104300]。
文摘
在云边协同场景中,保障海量边缘设备固件安全面临状态感知困难和执行效率低下的双重挑战。由于固件通常以二进制形式发布,依赖源码插桩的状态感知方法不再适用。同时,在x86平台上对ARM等异构架构固件进行高效全系统仿真成为现有技术的瓶颈,严重限制了模糊测试的吞吐量。针对这些问题,文章提出一种面向ARM架构固件的高效模糊测试框架。为突破跨架构仿真的性能瓶颈,文章将fork机制应用于QEMU内部,设计并实现了一种不依赖特定硬件(如Intel VT-x)的轻量级、跨架构全系统虚拟机快照技术。为实现无源码下的状态感知,文章实现了基于网络数据包、内存数据聚类和调用堆栈分析的多种状态识别方法。此外,统一的代理模块还支持对网络服务等复杂目标的透明测试。实验结果表明,该框架在测试效率上取得近19%的提升,成功复现了CVE-2019-15232等已知漏洞,并验证了其在无源码条件下对程序进行状态建模的能力,为云边协同安全测试提供了有效的解决方案。
关键词
云边协同
固件模糊测试
RM模拟
系统级快照
状态感知
Keywords
cloud-edge collaboration
firmware fuzz
test
ing
ARM emulation
systemlevel
snapshot
state awareness
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
用于FPGA的多层次集成设计系统的设计与实现
被引量:
6
2
作者
张峰
李艳
韩小炜
李明
张倩莉
陈亮
吴利华
张国全
刘贵宅
郭旭峰
杨波
赵岩
王剑
李建忠
于芳
刘忠立
机构
中国科学院微电子研究所
出处
《深圳大学学报(理工版)》
EI
CAS
北大核心
2012年第5期377-385,共9页
基金
武器装备预研基金资助项目(110***098)~~
文摘
针对当前现场可编程门阵列(field programmable gate array,FPGA)领域,电子设计自动化(electronic design automation,EDA)工具集成度不够高、不具备用户自主设计FPGA芯片的功能等问题,设计并实现一套完整的FPGA多层次集成设计系统(versatile design system,VDS).该系统包括高度集成的设计开发环境和FPGA芯片级到系统级的设计与验证工具,为设计、应用和验证自主研发的FPGA芯片提供了一个有效平台.VDS的显著特点在于提供了全自动芯片生成功能,使用户能根据自身需要灵活控制芯片的规模和功能,快速开发一系列的适应不同应用的FPGA.借助VDS成功设计出两款FPGA芯片,通过对FPGA进行电路设计以及对芯片和应用进行仿真与验证,证明了VDS的有效可行.
关键词
微电子学
现场可编程门阵列
电子设计自动化
集成设计系统
用户图形界面
架构设计
版图设计
系统级设计
芯片仿真
芯片板级测试
Keywords
microelectronics
field programmable gate array
electronic design automation
integrated designsystem
graphical user interface
architecture design
layout design
system level design
chip simulation
systemlevel test
分类号
TN47 [电子电信—微电子学与固体电子学]
TP319 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向云边协同场景中固件的模糊测试方法
陶慈
王逸
张蕾
陈平
《信息网络安全》
北大核心
2025
0
在线阅读
下载PDF
职称材料
2
用于FPGA的多层次集成设计系统的设计与实现
张峰
李艳
韩小炜
李明
张倩莉
陈亮
吴利华
张国全
刘贵宅
郭旭峰
杨波
赵岩
王剑
李建忠
于芳
刘忠立
《深圳大学学报(理工版)》
EI
CAS
北大核心
2012
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部