On the security of three-party cryptographic protocols

Abstract

Though much attention has been paid to the research on the security of cryptographic protocols in the last two decades, no perfect solution is a.vailable. In this paper, we firstly present some explicit assumptions, and the properties that a secure protocol should hold, then divide the total security of cryptographic protocols into some partial securities based on those properties, and finally give our protocol which is surprisingly simple and prove its total security based on those assumptions and the capacity of BAN-like of proving the session key safeness of cryptographic protocols.