基于密码协议认证目标的协议分析方法的研究

摘要

为了克服现有的逻辑方法不适合分析电子商务协议的缺点，本文提出了一种基于协议认证目标的协议分析方法．该方法针对不同功能的协议，给出了他们要实现的目标：实体认证目标、密钥认证目标和伴随有密钥建立的实体认证目标。在文章的最后我们通过分析Dime—Hellman密钥建立协议验证了该方法的正确性和易用性。