為了克服現(xiàn)有的邏輯方法不適合分析電子商務(wù)協(xié)議的缺點(diǎn)，本文提出了一種基于協(xié)議
認(rèn)證目標(biāo)的協(xié)議分析方法，該方法針對不同功能的協(xié)議，給出了他們要實(shí)現(xiàn)的目標(biāo)：實(shí)體認(rèn)證目標(biāo)、密鑰認(rèn)證目標(biāo)和伴隨有密鑰建立的實(shí)體認(rèn)證目標(biāo)。在文章的最后我們通過分析
Diffie-Hellman 密鑰建立協(xié)議驗(yàn)證了該方法的正確性和易用性。
關(guān)鍵字：密碼協(xié)議，認(rèn)證目標(biāo)，Diffie-Hellman 密鑰建立協(xié)議

Study on One Way of Analysis Cryptographic Protocols Base on Protocols Authentication Goals WANG Bin1, ZANG Shao-wu1 ,MA Zhi2 (1 Institute of Electronic Technology, the PLA Information Engineering University, Zhengzhou 450004, China; 2 Institute of Information Engineering, the PLA Information Engineering University, Zhengzhou 450002, China) Abstract ： This paper introduces a kind of formal method which is based on protocols authentication goals to analyse cryptographic protocols. This method conquer the shortcoming of current formal methods that isn’t fit to analyse electric commerce protocols, and it aim at the goals of all kinds of protocols functions. There are three goals of protocols: key authentication goals、 entity authentication goals and entity authentication combined with key authentication goals.At the last of this paper we use Diffie-Hellman key agreement protocol as an example to verify this way is correct and easily to use.
Key Words：cryptographic protocols, authentication goals，D-H key agreement protocols