Instrument / trust-budget

内存安全之外,密码学开销和调度抖动会不会把系统重新推回不可信?

PQC 不只是一个算法替换;密钥/签名尺寸、验证延迟和在控制回路中的位置都会改变系统可调度性。

回到 Trusted edge 研究档案

Interactive model / software simulation

实时安全与 PQC 开销

把后量子签名/验证周期、迭代次数和截止期放在一起,判断安全策略是否仍满足实时性。

LOCAL MODEL
单次签名的 CPU/加速器周期
cycles
单次验证周期
cycles
目标 MCU/SoC 频率
MHz
一个控制周期内需要的签名/验证次数
PQC 密钥与签名占用
B
硬实时控制窗口
ms
当前预算仍留有截止期余量;还要检查最坏执行时间与功耗状态切换。

密码学延迟

6.75ms签名 + 验证周期 × 次数 ÷ 时钟

截止期余量

13.25ms截止期 - 密码学延迟

密钥/签名流量

12,288B每周期操作 × 密钥与签名大小
EVIDENCE NOTE

周期级预算模型;实际结果依赖指令集、加速器、栈和功耗状态。

Primary reading

先读原始来源,再相信模型