Proving secrecy is easy enough
Proving secrecy is easy enough
复制标题
证明秘密很容易
DOI：
10.1109/csfw.2001.930139
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
H. Ruess
中科院分区：
文献类型：
--
作者：
V. Cortier;J. Millen;H. Ruess
摘要：我们开发了一个系统的证明程序来建立加密协议的保密结果。该过程的一部分是将消息简化为简化的成分，其核心是建立保密结果的搜索过程。这个过程是合理的，但不完整，因为它可能无法为某些安全协议建立保密性。然而，它是机械化的，它也有一个方便的视觉表示。我们通过标准基准（如Yahalom协议）的保密证明来演示我们的过程的实用性。
Abstract: We develop a systematic proof procedure for establishing secrecy results for cryptographic protocols. Part of the procedure is to reduce messages to simplified constituents, and its core is a search procedure for establishing secrecy results. This procedure is sound but incomplete in that it may fail to establish secrecy for some secure protocols. However, it is amenable to mechanization, and it also has a convenient visual representation. We demonstrate the utility of our procedure with secrecy proofs for standard benchmarks such as the Yahalom protocol.