密码协议安全性的代数刻画
密码学与安全
2008-02-25 v1
摘要
若干基本密码构造具有相关联的代数结构。Dolev 和 Yao 提出的用于研究公钥协议（无条件）安全性的形式模型构成一个群。某些类型协议的安全性可以在该代数框架下得到简洁表述。我们研究了两方协议的类别，随后考虑将该形式代数框架扩展至私钥协议。我们还讨论了形式模型的具体实现；在此情形下，我们提出了基于伪自由群（pseudo-free groups）的定义。
引用
@article{arxiv.0802.3328,
title = {An Algebraic Characterization of Security of Cryptographic Protocols},
author = {Manas K Patra and Yan Zhang},
journal= {arXiv preprint arXiv:0802.3328},
year = {2008}
}