19、M - 优惠券协议的安全分析与改进

M - 优惠券协议的安全分析与改进

1. 认证与保密的层次

CasperFDR 提供了不同类型的认证和保密测试。认证规范中最强的形式是“Agreement”。若 Alice 和 Bob 满足该规范，当 Bob 认为他已与 Alice 成功完成协议运行时，Alice 此前必定也在运行该协议，且双方就协议中的角色达成一致，Alice 和 Bob 之间存在一对一的关系，即 Alice 的每次运行对应 Bob 的唯一一次运行。

较弱的认证规范是“NonInjectiveAgreement”，与“Agreement”的区别在于不要求一对一关系。一方的每次运行与另一方的一次运行匹配，但可能会有重叠。例如，两个“Commit”事件可能对应同一个“Running”事件。

保密规范有两种形式：“Secret”和“StrongSecret”。“Secret”测试入侵者在协议结束时是否能知晓秘密值。“StrongSecret”比“Secret”更强，除了具备“Secret”规范的检查内容外，还会检查入侵者在未完成协议完整运行的情况下是否能够知晓秘密值。

2. 通道

CasperFDR 中的入侵者在没有解密密钥的情况下无法打开加密消息，并且 CasperFDR 还允许对入侵者在协议消息上的能力进行更多限制。例如：

#Channels
1 NF NRA- NR
2 C NF NRA NR

第一行表示对于消息 1，入侵者既不能伪造数据（NF，No Fake），也不能进行诚实重写（NRA - ，改变发送者 ID 但不能改为自己的 ID），也不