Electronic Settlement Of Security Research And Implementation

Nowerdays,electronic commerce is the heat point of the research.Electroniccommerce protocol is important of electronic commerce.Secure Electronic Trans-action Protocol (SET) is representative of electronic commerce protocol.In this paper,content, transaction process and safety of SET are the content of the research.some deficiencies of SET is supported. A new algorithm to improve Elliptic Curve Digital Signature Algorithm (ECDSA) is supported.It is designed and implemented. Using it to replaces RSA to improve SET.The Application of this algorithm is analysed. A new model based on Elliptic Curve Cryptosystem(ECC) is supported and the model improves the safety, capability and speed of SET.At last of this paper ,three kinds of logic languages in formal logic language are introduced.They are BAN Logic,Kailar Logic and Qing-Zhou Logic.SET is also analyzed and vertifed compelety.