检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

智能电表通信模块互换的固件设计及实现

自动化应用 2024年第8期65卷 140-141,144页

作者：张宇明孙鹏远王庆龙徐京生俞云星程显峰古泽军华立科技股份有限公司浙江杭州310023 国网内蒙古东部电力有限公司供电服务监管与支持中心内蒙古通辽028001

介绍一种模块可互换的三相智能电表的设计及软件实现方法,分析不同模块的通信特点,阐述该智能电表的软件及硬件设计及实现方案,尤其是模块可互换的硬件和软件的设计及实现方案。

关键词：三相智能电表模块互换固件

在线全文

学校读者我要写书评

暂无评论

电能计量装置固件更新方法及实现

自动化应用 2024年第12期65卷 130-131页

作者：周伟波程建国贺子洋徐京生俞云星周旭倪斌华立科技股份有限公司浙江杭州310023 国网河北省电力有限公司石家庄供电分公司河北石家庄050051

提出电能计量装置固件升级方法中差异升级的整体设计方案,并讨论具体的实现方法,另外,还对差异升级和整体升级的优缺点进行了比较和分析。

关键词：固件电能计量装置差异升级

在线全文

学校读者我要写书评

暂无评论

一种利用动态分析的嵌入式应用托管方案

软件学报 2024年

作者：吴华茂姜木慧周亚金李金库 Department of Computing The Hong Kong Polytechnic University 浙江大学计算机科学与技术学院西安电子科技大学网络与信息安全学院

固件托管(firmwarerehosting)是一种对嵌入式设备的软硬件进行建模和仿真,并在仿真环境中运行和分析嵌入式设备软件的技术.现有的基于全系统仿真的固件托管方案只能预防性地修复已知的软硬件依赖问题,而无法解决未知的问题.为应对这一现... 详细信息

固件托管(firmwarerehosting)是一种对嵌入式设备的软硬件进行建模和仿真,并在仿真环境中运行和分析嵌入式设备软件的技术.现有的基于全系统仿真的固件托管方案只能预防性地修复已知的软硬件依赖问题,而无法解决未知的问题.为应对这一现状,提出了一种由动态分析辅助的固件托管方案FirmDep.在托管过程中,该应用记录被分析的嵌入式设备应用的执行轨迹和系统状态.若目标应用无法被成功托管,FirmDep对执行轨迹进行信息提取和系统状态补全,并使用多种执行轨迹分析方法识别和仲裁应用的环境依赖问题.基于PANDA和angr实现了FirmDep的原型系统,并使用217个来自真实设备固件的嵌入式Web应用对其进行了测试.结果表明:FirmDep可有效识别嵌入式设备应用的环境依赖问题,提高固件托管的成功率.

关键词：嵌入式设备固件动态分析固件托管录制重放

基于静态分析和模糊测试的路由器漏洞检测方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

信息安全研究 2024年第1期10卷 40-47页

作者：王洪义沙乐天南京邮电大学计算机学院、软件学院、网络空间安全学院南京210023 江苏省无线传感网高技术研究重点实验室南京210023

针对路由器设备的网络攻击往往会造成严重后果.模糊测试是检测路由器设备安全漏洞的有效方法.然而,如果没有对目标设备的固件进行足够的分析,模糊测试往往是盲目和无效的.提出一种使用静态分析辅助模糊测试对路由器设备进行漏洞检测的方... 详细信息

针对路由器设备的网络攻击往往会造成严重后果.模糊测试是检测路由器设备安全漏洞的有效方法.然而,如果没有对目标设备的固件进行足够的分析,模糊测试往往是盲目和无效的.提出一种使用静态分析辅助模糊测试对路由器设备进行漏洞检测的方法.具体来讲,就是通过静态分析生成的结果指导测试用例的变异来对路由器设备的Web接口进行模糊测试.路由器固件中隐藏着大量有用的信息,通过静态分析提取程序代码可能存在的漏洞点,用来构建测试用例以提高模糊测试的效率.实现一个原型系统,并在4家主流路由器厂商的46个路由器固件上进行测试,发现16个漏洞,其中4个是零日漏洞.结果表明,与先进的自动化漏洞挖掘方法相比,该系统可以检测现有漏洞检测工具无法检测的漏洞.

关键词：静态分析模糊测试固件漏洞挖掘 Web接口

固件升级|CINEMA EOS和XF605最新固件开始下载

在线全文

学校读者我要写书评

暂无评论

影视制作 2024年第1期30卷 102-102页

佳能日前发布了CinemaEOS系列摄影机和专业数码摄像机XF605的最新固件升级,包括EOSC500 MarkIl固件版本1.***.9.1,EOSC300MarkII固件版本1.***.7.1,EOSC70固件版本1.***.8.1,EOSR5C固件版本1.***.6.1,XF605摄像机固件版本1.***.3.1。

关键词：固件数码摄像机 C300 Mark EOS

索尼发布REA-C1000新版固件Ver5.0——支持PTZ智能中心构图功能,助力AI智能拍摄

在线全文

学校读者我要写书评

暂无评论

影视制作 2024年第1期30卷 103-103页

日前,索尼正式发布增强分析单元REA-C1000的新版固件Ver 5.0。新固件增加了PTZ自动跟踪许可证REA-L0200的PTZ智能中心构图功能,可实现跟踪主体,自动且平滑的移动,拍摄过程中支持平移、俯仰和变焦运动。进一步强化了REA-C1000的人工智能... 详细信息

日前,索尼正式发布增强分析单元REA-C1000的新版固件Ver 5.0。新固件增加了PTZ自动跟踪许可证REA-L0200的PTZ智能中心构图功能,可实现跟踪主体,自动且平滑的移动,拍摄过程中支持平移、俯仰和变焦运动。进一步强化了REA-C1000的人工智能分析能力。

关键词：人工智能固件拍摄过程 REA 自动跟踪 C100 分析单元 AI

卓曜科技Kinefinity携新款8K摄影机、全新SDI电子寻像器和KineOS 8.0固件亮相NAB2024

在线全文

学校读者我要写书评

暂无评论

影视制作 2024年第5期30卷 118-118页

在本届NAB展会上,卓曜科技Kinefinity展示的新款8K摄影机采用全新的8K CMOS影像传感器,实现20%最高帧率提升,全画幅4K高达130fps。其重新设计的SDI模块包括12G SDI输出,并提供三个独立的SDI输出全面满足拍摄现场对不同监看画面的要求,... 详细信息

在本届NAB展会上,卓曜科技Kinefinity展示的新款8K摄影机采用全新的8K CMOS影像传感器,实现20%最高帧率提升,全画幅4K高达130fps。其重新设计的SDI模块包括12G SDI输出,并提供三个独立的SDI输出全面满足拍摄现场对不同监看画面的要求,同时新增的Genlock输入接口也满足虚拟制作需求。此外,新款8K摄影机的先进色彩科学提供宽色域的Rec.2020色彩空间,使其对ACES工作流程更加友好。结合KineOS 8.0固件的无损无压缩RAW,该摄影机可以进行全画幅4K RAW录制。

关键词：色彩空间固件帧率提升全画幅输入接口拍摄现场 SDI 色彩科学

在线全文

学校读者我要写书评

暂无评论

嵌入式设备固件仿真器综述

计算机研究与发展 2023年第10期60卷 2255-2270页

作者：张浩申珊靛刘鹏杨泽霖周威张玉清西安电子科技大学网络与信息安全学院西安710071 中国科学院大学国家计算机网络入侵防范中心北京101408 华中科技大学网络空间安全学院武汉430074 分布式系统安全湖北省重点实验室(湖北省大数据安全工程技术研究中心) 武汉430074 海南大学计算机与网络空间安全学院海口570228

随着物联网(IoT)技术的发展,嵌入式设备面临更加严峻的安全威胁,特别是嵌入式设备漏洞严重影响物联网产业的安全发展.但受限于嵌入式设备自身硬件资源的限制,通用计算机系统常用的动态漏洞检测技术,例如模糊测试难以直接应用到嵌入式设... 详细信息

随着物联网(IoT)技术的发展,嵌入式设备面临更加严峻的安全威胁,特别是嵌入式设备漏洞严重影响物联网产业的安全发展.但受限于嵌入式设备自身硬件资源的限制,通用计算机系统常用的动态漏洞检测技术,例如模糊测试难以直接应用到嵌入式设备上.因此,近年来嵌入式设备固件仿真技术成为学术界的研究热点,通过对嵌入式设备硬件依赖的仿真或替换,可以将模糊测试、符号执行等通用高效漏洞检测技术应用于嵌入式设备.围绕最新嵌入式设备仿真技术,搜集整理近年来国际顶级学术论文,对相关研究成果进行归纳、总结.基于采用的仿真技术和衍生关系进行分类介绍,然后对这些固件仿真器进行评估和细化比较,为使用者选择固件仿真器提供技术参考.最后,根据当前嵌入式设备固件仿真器的现状,提出固件仿真器的挑战和机遇,对固件仿真器的研究进行了展望.

关键词：嵌入式设备固件动态分析固件仿真模糊测试

在线全文

学校读者我要写书评

暂无评论

针对复杂路径条件的固件测试方法改进

武汉大学学报（理学版） 2022年第1期68卷 51-56页

作者：王丽娜张增光张桐陈思空天信息安全与可信计算教育部重点实验室武汉大学国家网络安全学院湖北武汉430072

针对当前固件模糊测试方案在测试具有复杂路径条件的固件时开销较大并且效率低下的问题,提出了一种高效省时的固件测试改进方法。该方法根据固件与外设交互使用的通信协议来修改模糊测试器产生的测试用例,使得测试用例可以突破校验和检... 详细信息

针对当前固件模糊测试方案在测试具有复杂路径条件的固件时开销较大并且效率低下的问题,提出了一种高效省时的固件测试改进方法。该方法根据固件与外设交互使用的通信协议来修改模糊测试器产生的测试用例,使得测试用例可以突破校验和检查这一复杂路径条件。使用该方法改进了固件测试方案p2im(processor-peripheral interface modeling)。真实场景下的固件测试结果表明,改进的方案(improved processor-peripheral interface modeling,Ip2im)在固件测试中基本块覆盖率和函数覆盖率都有提升,可以成功绕过固件的校验和检查。

关键词：嵌入式设备固件模糊测试复杂路径条件校验和