为啥一个消息在认证或认证密钥建立协议中必须是新鲜的( 二 )


产生威胁等等。

注1:为避免过于复杂的讨论,答主省略了关于session/process oracle, session id, partnership等一系列定义,有兴趣的er可以参考下面这些paper (由易到难, 第三篇只建议从事AKE形式化安全的同学阅读)
https://eprint.iacr.org/2000/014
Cryptology ePrint Archive: Report 2005/270
Cryptology ePrint Archive: Report 2017/818
注2:在CK model (Cryptology ePrint Archive: Report 2001/040)中, 攻击者有能力得到协议oracle/session的完整内部状态。更一般地,可以考虑leakage function泄露完整程度不同的各种内部状态给攻击者
注3: 简化,考虑一个可靠的public key infrastructure (PKI)。


推荐阅读