×
克雷默斯，Cas J.F。

Session-StateReveal比eCKs EphemeralKeyReveal强大：使用自动分析攻击NAXOS协议。 （英语） Zbl 1210.94086号

国际期刊申请。加密程序。 第2期，第83-99页（2010年）.
作者提出了一种新的认证密钥交换协议安全模型，该模型比以前的模型更强。特别是，本文的调查推翻了文献中的几项主张。
审核人：理查德·莫林（卡尔加里）

MSC公司：

94A60型 密码学

关键词：

可证明安全性；密钥交换；AKE公司；会话状态显示；短暂的密钥泄露；自动分析；工具；电子商务（eCK）；CK公司；纳克索斯

软件：

纳克索斯；飞天螳螂；HMQV公司
PDF格式BibTeX公司 XML格式引用
\textit{C.J.F.Cremers}，国际期刊应用。加密程序。2，第2号，第83--99页（2010年；Zbl 1210.94086）
全文： 内政部