本文主要介绍移动和嵌入式系统中的可信计算，包含TCG 与其标准和解决方案、可信平台模块、嵌入式系统安全与可信和硬件安全模块相关内容。 本文来自实验室孙伊凡的学习笔记 移动和嵌入式系统中的可信计算  1.1 背景与现状 标准计算平台的安全性匮乏问题自70年代早期以来一直存在。 大多数发生的攻击围绕对 完整性的篡改 发起，而通用计算机具有的加密模块并不能满足对各类攻击的抵御，且始终缺乏基础

本文主要介绍车载通信的安全协议、对结构和协议的验证方法和攻击分析，以及模型驱动的安全工程的相关内容。 本文来自本实验室龚思陈的读书笔记   车载信息安全协议 抽象网络结构如下： 在实体网联汽车上对应如下： -       EBCM：Electronic Brake Control Module电子制动控制模块 外部通信 -  目标车是一个黑盒 对新应用

本文介绍了车载通信系统的安全要求，以及HSM硬件安全模块和软件安全结构的相关内容。   本文来自本实验室龚思陈的学习笔记。         车载通信系统的安全要求   攻击的种类： 对安全的攻击 (1)   未授权的突然刹车 (2)   袭击主动制动功能 (3)   篡改危险警告信息 对隐私的攻击 （1） 反映错误的路况信息（如：模拟发生交通堵塞的通知信号） （2） 控制交

本文介绍了EVITA项目的基本内容以及已有的测试实践——simTD项目。 *本文来自本实验室龚思陈的学习笔记   EVITA工程的基本情况   EVITA的全称：E-safety Vehicle Intrusion Protected Applications EVITA工程的目的：   设计、证明、构建车载网络的原型构建块，保护安全相关的组成部分免受篡改、保护敏感数据免受损害