论文2024/706
理想密码模型中的线性加密
扎赫拉·贾瓦尔
维多利亚大学
布鲁斯·卡普伦维多利亚大学
摘要
我们扩展了McQuoid、Swope和Rosulek（TCC 2018）提出的Linicrypt框架，用于表征散列函数安全性，以支持理想密码模型中的构造。在这种情况下，我们根据Linicrypt程序的线性代数条件给出了碰撞和第二预成像耐受性的特征，并提出了一种确定程序是否满足该条件的有效算法。作为应用，我们考虑了Preneel、Govaerts和Vandewall（Crypto 1993）提出的块加密散列函数的情况，并表明Black等人（J.Crypto.2010）给出的PGV语义分析可以作为我们特征化的一个特例来捕获。此外，我们在Linicrypt框架中对通过Merkle-Damgárd变换构造的散列函数进行建模。最后，我们将此模型应用于分析对底层压缩函数的各种攻击如何会损害生成的散列功能的抗碰撞性。
BibTeX公司
@misc{cryptoeprint:2024/706，作者＝{Zahra Javar和Bruce M.Kapron}，title={理想密码模型中的Linicrypt}，howpublished={Cryptology ePrint Archive，论文2024/706}，年份={2024}，doi={10.1007/978-3-031-45513-16}，注释=｛\url{https://eprint.iacr.org/2024/706}},url={https://eprint.iacr.org/2024/706}}
