关键词: 欺诈, 否认, BAN逻辑, Kailar逻辑

Abstract:

A non-repudiation cryptographic protocol based on hybrid cryptosystem is proposed and it is a more perfectprotocol.It can realize the true fairness and non-repudiation of both parties even the channels are unreliable andinsecure.Usually the protocol only needs three interactions of participants and the transferring data keep confidentialfor others except for the sender and the receiver,whose transactions are protected.The Trusted Third Party (TTP)performs evidences verification,generation and publication and its bottleneck problem is solved completely.Finally,we give its formal analysis and prove the protocols fairness,correctness and security.

Key words: cheating, denying, BAN logic, Kailar logic