书籍详情
基于安全需求的信息物理系统设计
作者：林忠纬，[美] 阿尔伯托·桑 著，罗璎珞 译
出版社：机械工业出版社
出版时间：2021-05-01
ISBN：9787111678793
定价：¥69.00
购买这本书可以去
内容简介
《基于安全需求的信息物理系统设计》介绍了信息物理系统的一些初步知识和现有安全问题、基于安全需求的设计方法、CAN协议的安全机制、基于CAN和TDMA系统的安全需求映射问题和算法、用于V2V通信的安全需求优化问题和算法、基于状态机和基于图形的安全需求设计问题，本书还指出一些未来的发展方向。 《基于安全需求的信息物理系统设计》契合智能网联汽车对高安全性的要求，非常适合汽车行业技术人员学习参考，也适合通信、网络等相关行业车载应用研究方面的技术人员参考阅读，对于车辆工程专业师生也会有所帮助。
作者简介
【译者简介】 《基于安全需求的信息物理系统设计》译者罗璎珞女士，南洋理工大学硕士毕业，2001-2004，中国电信系统集成公司任产品经理；2004-2014，诺基亚中国有限公司任产品经理； 2015-2019，中国信息通信研究院泰尔终端实验室任主任工程师；2019至今，国汽智联公司任信息安全主任工程师。
目录
第1章简介……1
第2章信息物理系统安全威胁……4
第3章基于安全需求的设计方法……7
3.1安全需求映射……7
3.2安全机制选择……9
3.3体系架构选择……9
3.4基于安全需求的设计示例……10
3.5总结……12
第4章CAN协议系统的安全机制……13
4.1系统模型和攻击者模型……14
4.2安全机制……16
4.2.1基本认证……17
4.2.2高级机制……19
4.3计数器的实现……20
4.4计数器复位机制……22
4.4.1自愈复位机制……23
4.4.2网络复位机制……23
4.5分析……25
4.6总结……28
第5章基于CAN总线系统的安全需求映射……29
5.1系统模型与公式……30
5.1.1系统模型……30
5.1.2信息安全约束和密钥分发……31
5.1.3功能安全约束……33
5.2映射算法……33
5.2.1约束……34
5.2.2目标函数……38
5.2.3基于MILP的算法……39
5.3扩展……40
5.3.1基于路径的安全约束……40
5.3.2目标函数……41
5.3.3算法……41
5.4实验结果……42
5.4.1与贪婪启发式算法的比较……43
5.4.2与非集成方法的比较……44
5.4.3扩展……45
5.5总结……46
第6章基于TDMA系统的安全需求映射……47
6.1系统模型与公式48
6.2密钥延时释放…… 49
6.3映射算法……51
第2章信息物理系统安全威胁……4
第3章基于安全需求的设计方法……7
3.1安全需求映射……7
3.2安全机制选择……9
3.3体系架构选择……9
3.4基于安全需求的设计示例……10
3.5总结……12
第4章CAN协议系统的安全机制……13
4.1系统模型和攻击者模型……14
4.2安全机制……16
4.2.1基本认证……17
4.2.2高级机制……19
4.3计数器的实现……20
4.4计数器复位机制……22
4.4.1自愈复位机制……23
4.4.2网络复位机制……23
4.5分析……25
4.6总结……28
第5章基于CAN总线系统的安全需求映射……29
5.1系统模型与公式……30
5.1.1系统模型……30
5.1.2信息安全约束和密钥分发……31
5.1.3功能安全约束……33
5.2映射算法……33
5.2.1约束……34
5.2.2目标函数……38
5.2.3基于MILP的算法……39
5.3扩展……40
5.3.1基于路径的安全约束……40
5.3.2目标函数……41
5.3.3算法……41
5.4实验结果……42
5.4.1与贪婪启发式算法的比较……43
5.4.2与非集成方法的比较……44
5.4.3扩展……45
5.5总结……46
第6章基于TDMA系统的安全需求映射……47
6.1系统模型与公式48
6.2密钥延时释放…… 49
6.3映射算法……51
猜您喜欢
