Prudent engineering practice for cryptographic protocols
Prudent engineering practice for cryptographic protocols
复制标题
DOI：
10.1109/risp.1994.296587
复制
发表时间：
1994-05
期刊：
影响因子：
--
通讯作者：
M. Abadi;R. Needham
中科院分区：
文献类型：
--
作者：
M. Abadi;R. Needham
我们提出密码协议的设计原则。这些原则对于正确性来说既不是必要的也不是充分的。然而它们还是有帮助的，因为遵守它们可以避免大量已发表的错误。我们的原则是非正式的指导方针。它们补充了形式方法，但并不假设它们。为了证明这些指南的实际适用性，我们讨论了文献中的一些指导性示例。
We present principles for the design of cryptographic protocols. The principles are neither necessary nor sufficient for correctness. They are however helpful, in that adherence to them would have avoided a considerable number of published errors. Our principles are informal guidelines. They complement formal methods, but do not assume them. In order to demonstrate the actual applicability of these guidelines, we discuss some instructive examples from the literature.