基于见证函数小定理的密码协议安全性研究
密码学与安全
2019-12-03 v1
摘要
在本文中,我们展示了见证函数小定理在检测某类密码协议安全缺陷方面的实用性。我们在见证函数理论中对Needham-Schroeder对称密钥协议进行了形式化分析。我们展示了它如何有助于揭示该协议某给定步骤中的安全漏洞:所发送消息中特定敏感票据的安全值在收到时相比意外骤降。此漏洞可能被入侵者利用,以发起Denning与Sacco所描述的重放攻击。
引用
@article{arxiv.1903.00499,
title = {On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions},
author = {Jaouhar Fattahi and Mohamed Mejri and Emil Pricop},
journal= {arXiv preprint arXiv:1903.00499},
year = {2019}
}
备注
Accepted at the 2019 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE) on March 1, 2019