机读格式显示(MARC)

• 000 01736nam 2200325 450

• 001 0000466250

• 005 20240403151000.0

• 010 __ |a 978-7-5194-6294-9 |b 精装 |d CNY89.00

• 100 __ |a 20220726d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 物联网软件漏洞检测技术 |A wu lian wang ruan jian lou dong jian ce ji shu |f 司徒凌云著

• 210 __ |a 北京 |c 光明日报出版社 |d 2022.05

• 215 __ |a 196页 |c 图 |d 24cm

• 225 2_ |a 光明学术文库 |A guang ming xue shu wen ku |i 经济与管理书系

• 300 __ |a 国家重点研发计划项目, “智能制造软件形式化验证和性能优化技术” 国家自然科学基金 (重点项目), “ 基于模糊测试的物联网设备固件漏洞检测技术研究” 国家社会科学基金 (一般项目), “面向国家安全的科技竞争情报态势感知研究”等

• 314 __ |a 司徒凌云, 博士, 南京大学信息管理学院, 国家保密学院助理研究员。

• 320 __ |a 有书目 (第159-196页)

• 330 __ |a 本书面向物联网设备的软件漏洞检测需求, 基于静态分析和动态测试途径, 介绍围绕第三方库数据操作安全检查缺失漏洞检测、通信协议漏洞检测、固件镜像漏洞检测等问题的关键技术与工具。阐述了物联网作为新一代信息技术, 已经与国计民生的各个方面深度融合, 越来越多的物联网设备通过网络连接后广泛部署在众多安全攸关领域 ; 软件是物联网设备中的重要使能部件 ; 软件系统中若存在安全漏洞, 在联网环境下易被攻击者利用, 造成灾难性的后果。因此, 及时发现并消除物联网设备中的软件漏洞是亟待解决的重要问题。

• 410 _0 |1 2001 |a 光明学术文库 |i 经济与管理书系

• 606 0_ |a 互联网络 |A hu lian wang luo |x 应用 |x 软件可靠性

• 606 0_ |a 智能技术 |A zhi neng ji shu |x 应用 |x 软件可靠性

• 690 __ |a TP311.53 |v 5

• 690 __ |a TP311.5 |v 5

• 690 __ |a TP393.4 |v 5

• 701 _0 |a 司徒凌云 |A si tu ling yun |4 著

• 801 _0 |a CN |b 北京人天 |c 20240311

• 905 __ |a AUSTL |d TP311.53/S783