Based on the Instantiation Space Logic theory and knowledge reasoning,the authors implement the totally automatic verification on the complete SET certificate registration protocols′ authentication and secrecy properties using SPV,and improve the protocols.

Using this model, the secrecy and authentication of the cryptographic protocols are described.

In this paper, a new method based on Paulson s inductive approach for proving cryptographic protocols secrecy property is proposed.

Three attack proposals towards Su-protocol are given, including fairness attack, accuracy attack and privacy attack.

However,the legislation and jurisdiction of business secret in china are facing many challenges because of their privacy and invisibility.

Seeking equilibrium:a study on confidentiality in international commercial arbitration;