基于安全需求的信息物理系统设计

●第1章 简介
第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 总结
第10章 结论
参考文献