论文部分内容阅读
为了克服现有的逻辑方法不适合分析电子商务协议的缺点,本文提出了一种基于协议认证目标的协议分析方法,该方法针对不同功能的协议,给出了他们要实现的目标:实体认证目标、密钥认证目标和伴随有密钥建立的实体认证目标。在文章的最后我们通过分析Diffie-Hellman密钥建立协议验证了该方法的正确性和易用性。
In order to overcome the shortcomings that the existing logic methods are not suitable for the analysis of e-commerce protocols, this paper proposes a protocol analysis method based on protocol authentication objectives. The proposed protocol aims at different functional protocols and gives them the following goals: , The key authentication target and the entity authentication target accompanying the key establishment. At the end of the article, we verify the correctness and usability of this method by analyzing the Diffie-Hellman key establishment protocol.