10.3969/j.issn.1008-0570.2005.33.013
基于密码协议认证目标的协议分析方法的研究
为了克服现有的逻辑方法不适合分析电子商务协议的缺点,本文提出了一种基于协议认证目标的协议分析方法,该方法针对不同功能的协议,给出了他们要实现的目标:实体认证目标、密钥认证目标和伴随有密钥建立的实体认证目标.在文章的最后我们通过分析Diffie-Hellman密钥建立协议验证了该方法的正确性和易用性.
密码协议、认证目标、Diffie-Hellman密钥建立协议
TP393.08(计算技术、计算机技术)
中国科学院资助项目60403004
2005-12-29(万方平台首次上网日期,不代表论文的发表时间)
共3页
35-37