首页
›
物联网安全与设备身份认证
›
018-设备远程证明
›
《设备远程证明验证系统搭建与调试》
VIP20
本课程属于:018-设备远程证明
物联网安全与设备身份认证 · 共 20 门相关课程,组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录
咨询 / 购买
设备远程证明验证系统搭建与调试
📚 共计 30 章节
点击此处阅读海量试读课程:100+行业、1000+细分领域
01
远程证明概述
什么是远程证明、为什么需要远程证明、典型应用场景:TEE、区块链、云计算。
基础
场景
02
核心概念与术语
证明者、验证者、依赖方、信任根、信任链——构建远程证明的基石。
概念
术语
03
密码学基础回顾
哈希函数、非对称加密、数字签名、X.509证书、随机数,为证明协议打下根基。
密码学
基础
04
信任根(RoT)详解
硬件信任根(TPM、Intel SGX/AMD SEV)、软件信任根、静态与动态信任根。
RoT
硬件
05
远程证明协议架构
挑战-响应协议、基于签名/MAC的证明、协议流程设计思路。
协议
架构
06
TPM 2.0 基础
TPM结构、PCR寄存器、EK/AK密钥、Quote操作,理解硬件信任锚点。
TPM
硬件
07
Intel SGX 远程证明
SGX架构、EPID与DCAP、Quote结构、验证流程,Intel TEE证明详解。
SGX
Intel
08
AMD SEV-SNP 远程证明
SEV-SNP架构、证书链、Attestation Report、验证流程,AMD安全加密虚拟化。
SEV
AMD
09
TEE(可信执行环境)证明
TEE概念、与普通环境的区别、TEE证明面临的独特挑战。
TEE
安全
10
证明数据格式
JWT、CWT、CBOR、自定义二进制格式、JSON格式的优缺点对比。
格式
序列化
11
非交互式证明
基于NIZK的远程证明、zk-SNARKs/STARKs简介,实现隐私与高效。
NIZK
零知识
12
交互式证明
经典挑战-响应协议、重放攻击防护、时间戳与Nonce设计。
交互
协议
13
证明策略与策略引擎
静态策略、动态策略、基于属性的证明(ABAC)、策略评估机制。
策略
ABAC
14
密钥管理与证明
证明密钥的生成、存储、轮换、撤销,全生命周期管理。
密钥
管理
15
证书颁发机构(CA)在证明中的角色
自签名证书、私有CA、公共CA、证书链验证,构建信任传递。
CA
证书
16
证明代理与中介
证明代理架构、中介服务、负载均衡与高可用设计。
代理
架构
17
区块链与远程证明
区块链作为验证者、链上证明验证、智能合约中的证明逻辑。
区块链
智能合约
18
云原生环境下的远程证明
Kubernetes中的证明、工作负载身份、SPIFFE/SPIRE集成。
云原生
K8s
19
边缘计算与IoT证明
资源受限设备的证明、轻量级协议、离线证明场景。
边缘
IoT
20
证明日志与审计
证明事件的日志记录、审计追踪、合规性要求。
审计
合规
21
安全考量
重放攻击、中间人攻击、侧信道攻击、拒绝服务攻击防护。
安全
攻击
22
隐私保护证明
匿名证明、选择性披露、零知识证明在隐私保护中的应用。
隐私
零知识
23
性能优化
证明延迟优化、批量证明、缓存策略、异步验证。
性能
优化
24
互操作性
不同TEE平台间的互操作、标准化组织(IETF RATS、TCG、CSA)。
互操作
标准
25
IETF RATS 架构
RATS模型、证据与证明、引用值、Endorsement,标准化框架。
RATS
IETF
26
TCG 规范
TCG架构、TPM规范、TNC(可信网络连接),行业标准详解。
TCG
规范
27
开源项目实践
Intel SGX SDK、OpenEnclave、Gramine、Kata Containers,动手实操。
开源
实践
28
从零搭建证明系统(一)
需求分析、架构设计、技术选型,奠定系统基础。
搭建
设计
29
从零搭建证明系统(二)
实现证明者端(Prover)、实现验证者端(Verifier),核心编码。
实现
编码
30
从零搭建证明系统(三)
集成测试、部署、监控与运维,完成生产级系统。
部署
运维
所属VIP或分类
同VIP:设备固件签名验证与远程防篡改
同VIP:设备身份认证与远程证明联动
同VIP:设备远程证明PCR度量与可信分析