| 作者 |
| 林忠纬（Chung-Wei Lin）[美]阿尔伯托·桑 |
| 丛书名 |
| 汽车先进技术译丛 智能网联汽车系列 |
| 出版社 |
| 机械工业出版社* |
| ISBN |
| 9787111678793 |
| 简要 |
| 简介 |
| 内容简介 《基于安全需求的信息物理系统设计》介绍了信息物理系统的一些初步知识和现有安全问题、基于安全需求的设计方法、CAN协议的安全机制、基于CAN和TDMA系统的安全需求映射问题和算法、用于V2V通信的安全需求优化问题和算法、基于状态机和基于图形的安全需求设计问题，本书还指出一些未来的发展方向。 《基于安全需求的信息物理系统设计》契合智能网联汽车对高安全性的要求，非常适合汽车行业技术人员学习参考，也适合通信、网络等相关行业车载应用研究方面的技术人员参考阅读，对于车辆工程专业师生也会有所帮助。 |
| 目录 |
| 第1章简介1 第2章信息物理系统安全威胁4 第3章基于安全需求的设计方法7 31安全需求映射7 32安全机制选择9 33体系架构选择9 34基于安全需求的设计示例10 35总结12 第4章CAN协议系统的 安全机制13 41系统模型和攻击者模型14 42安全机制16 421基本认证17 422高级机制19 43计数器的实现20 44计数器复位机制22 441自愈复位机制23 442网络复位机制23 45分析25 46总结28 第5章基于CAN总线系统的安全 需求映射29 51系统模型与公式30 511系统模型30 512信息安全约束和密钥分发31 513功能安全约束33 52映射算法33 521约束34 522目标函数38 523基于MILP的算法39 53扩展40 531基于路径的安全约束40 532目标函数41 533算法41 54实验结果42 541与贪婪启发式算法的比较43 542与非集成方法的比较44 543扩展45 55总结46 第6章基于TDMA系统的安全 需求映射47 61系统模型与公式48 62密钥延时释放 49 63映射算法51 631概述51 632任务分配和优先级分配52 633信号映射52 634网络调度53 635最大传输延迟分析55 636间隔时长探索59 637网络调度优化59 64实验结果59 65总结61 第7章车车通信中基于安全 需求的设计63 71公式63 72算法67 73实验结果68 74总结71 第8章状态机系统基于安全需求的 设计72 第9章以图论为基础的基于安全 需求的设计75 91多路径时的安全性75 92网络分区的安全性76 93总结78 第10章结论79 参考文献81 |