基于安全需求的信息物理系统设计
全新正版 极速发货
¥
37.4
5.4折
¥
69
全新
库存4件
作者(美)阿尔伯托·桑戈瓦尼-文森泰利
出版社机械工业出版社
ISBN9787111678793
出版时间2021-04
装帧精装
开本32开
定价69元
货号1202345069
上书时间2024-06-03
商品详情
- 品相描述:全新
- 商品描述
-
目录
章 简介
第2章 信息物理系统安全威胁
第3章 基于安全需求的设计方法
3.1 安全需求映射
3.2 安全机制选择
3.3 体系架构选择
3.4 基于安全需求的设计示例
3.5 总结
第4章 CAN协议系统的安全机制
4.1 系统模型和攻击者模型
4.2 安全机制
4.2.1 基本认证
4.2.2 不错机制
4.3 计数器的实现
4.4 计数器复位机制
4.4.1 自愈复位机制
4.4.2 网络复位机制
4.5 分析
4.6 总结
第5章 基于CAN总线系统的安全需求映射
5.1 系统模型与公式
5.1.1 系统模型
5.1.2 信息安全约束和密钥分发
5.1.3 功能安全约束
5.2 映射算法
5.2.1 约束
5.2.2 目标函数
5.2.3 基于MILP的算法
5.3 扩展
5.3.1 基于路径的安全约束
5.3.2 目标函数
5.3.3 算法
5.4 实验结果
5.4.1 与贪婪启发式算法的比较
5.4.2 与非集成方法的比较
5.4.3 扩展
5.5 总结
第6章 基于TDMA系统的安全需求映射
6.1 系统模型与公式
6.2 密钥延时释放
6.3 映射算法
6.3.1 概述
6.3.2 任务分配和优先级分配
6.3.3 信号映射
6.3.4 网络调度
6.3.5 优选传输延迟分析
6.3.6 间隔时长探索
6.3.7 网络调度优化
6.4 实验结果
6.5 总结
第7章 车车通信中基于安全需求的设计
7.1 公式
7.2 算法
7.3 实验结果
7.4 总结
第8章 状态机系统基于安全需求的设计
第9章 以图论为基础的基于安全需求的设计
9.1 多路径时的安全性
9.2 网络分区的安全性
9.3 总结
0章 结论
参考文献
内容摘要
本书介绍了信息物理系统的一些初步知识和现有安全问题、基于安全需求的设计方法、CAN协议的安全机制、基于CAN和TDMA系统的安全需求映射问题和算法、用于V2V通信的安全需求优化问题和算法、基于状态机和基于图形的安全需求设计问题,本书还指出一些未来的发展方向。本书适合智能网联汽车产学研技术人员学习参考。
— 没有更多了 —
以下为对购买帮助不大的评价