15、利用过去时态推理证明 PKCS11 密钥安全

利用过去时态推理证明 PKCS#11 密钥安全

1. 密钥角色操纵与攻击防范

在密钥管理中，存在多种操纵密钥角色的方法，这些方法可能被攻击者利用来发起 wrap/decrypt 攻击。即使没有设置冲突属性的密钥对象，攻击者仍可能使用密钥 kc 进行此类攻击。以下是三种操纵密钥角色的方法示例：
- 设置属性值 ：
- 初始时，密钥 kc 的属性为 wrap=true ， decrypt=false 。
- 通过 H -> T : setAttributeValue hc t 操作，将属性设置为 wrap=false ， decrypt=true 。
- 操作成功后， T -> H : okay ，此时 kc 的属性更新为 wrap=false ， decrypt=true 。
- 复制对象 ：
- 初始状态同前。
- 执行 H -> T : copyObject hc t ，新的属性设置为 wrap=false ， decrypt=true 。
- 操作返回新的句柄 T -> H : hn ，此时不同句柄下的 kc 可能具有不同属性。
- 包装和解包密钥