On account of this, China and France especially signed the "Secret Berthemy Agreement"in 1865, but controversies between both parties were still brought about as to whether .

In his Morals by Agreement, David Gauthier intends to develop a theory of practical rationality related to each individual s pursuit of his or her own interest or ends but from which moral principles can be derived.

Strand space model to prove the security of cryptographic protocols;

Petri net method in cryptographic protocol verification;

Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net;

Improved formal model and algorithm for verifying cryptographic protocols;

Formal method is an important way of verifying cryptographic protocols.

In this dissertation we present a general,extensible methodology that examines cryptographic protocols.

Formal model for cryptographic protocols based on problem-solving theory;

Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;

Research on Formal Analysis of Three-party Cryptographic Protocols;