Study on One Way of Analysis Cryptographic Protocols Base on Protocols Authentication Goals
Pla Information · Control & Automation · 2005
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 goalsentity 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.