Abstract:

The deficiencies of the Kerberos protocol is modified by using the application of the RSA padding scheme which is proposed by Coron, Naccache e.t.. It isproved that the modification and refinement to Kerberos do not make security decline by using BAN logic. The analysis of efficiency and secure properties of the refinement are also given.

Key words: Kerberos protocol; RSA padding; formal analysis