Research On The Reliability Of The Authentication Logic System

The crpytographic protocol is one of the key problems. There are many ways proposed to analyze the security protocol, the BAN-like logic is one of the important ways. Is the reliability of the authentication logic system is relation to the correct of the analytic result. Namely, if the logic system is reliability, the result which derive from the axiom of the logic system is correct, whereas, if the axiom system is not reliability, we cannot assure that the analytic result is correct.The logistic method is one of the important methods of the analysis protocol analysis, but in the logistic method, one of the important problems is that whether the axiom is reliability. In this paper, we proposed the reliability of the authentication logic system based on symbolic logic, and analysis the reliability of some logic system. We have the following results:1. the BAN logic system is not a completely reliability system, and the predicate believe exist other interpretations, this made some axiom cannot have exact interpretation, and point out the axiom M1, M3 and N1 is not probability true.2. the GNY logic system is not the completely reliability system, and the axiom R1 and R6 is not probability true.3. the SVO logic system is also not the completely reliability system, and the axiom A13 and A16 is not probability true.4. the Li logic system is not the completely reliability system, the predicate create and just now said need to depict deeply, furthermore, the axiom AIP1 ,AIP5 and AFM2 is not probability true. After that, we improved the Li logic, and proposed some new symbol, add some new formula and axiom based on the Li-logic, made the system can rather analysis the identity authentication protocols and the key distribute protocols which use the public-key cryptosystem. And we analysis the security of the NSL protocol, and the result is that the NSL protocol is a strong security protocol.