28、EDHOC协议分析与改进探讨

EDHOC协议分析与改进探讨

1. 形式化分析

在形式化过程中，使用 CompletedRun(u, v, sk) 动作（第4行）来表示事件 It2 C 和 Rt2 C 的析取。正如预期的那样， I3 和 R4 都会发出这个动作。类似地，第7行的 EphKeyRev(sk) 动作表示揭示 I 或 R 或两者的临时密钥。第8行和第9行表明，从各方的角度来看，在执行开始和结束之间，对手无法访问各方的可信执行环境（TEE）。

2. 错误处理

当前EDHOC规范指出，错误消息可以在任何时间由任何一方发送。错误消息有三种类型：
- 类型0：表示成功。
- 类型1：表示用于调试目的的通用错误消息。
- 类型2：表示未能协商出共同的密码套件。类型2消息会携带响应者支持的密码套件列表。

2.1 缺少连接标识符

错误消息不包含可选的连接标识符 CI 或 CR ，这对于无连接传输层可能会有问题，因为这些标识符可用于关联消息。

2.2 正确的接收处理

EDHOC提供了错误消息机制，但对于如何安全使用它几乎没有指导。例如，使用EDHOC的应用程序在有限的循环日志中记录错误消息，如果该日志用于异常检测或敏感事件检测，对手可以注入错误消息填满日志，覆盖敏感事件。在这种情况下，实现者应进行适当的