Security Analysis of the Kerberos * Protocol Based on the Modified GNY Logic
MA Chenglin
XIAO Meihua
DENG Chunyan
ZHU Ke
Abstract：In order to enhance the communication network security ,security specialists devote themselves to formal a-nalysis and verification of the communication protocols .Abdelmajid adds the user's physical location as a new factor in the Kerberos protocol is applied to obtain improved protocol .In the meantime ,he utilizes the modified BAN logic to illustrate the safety of the improved protocol .To the further improved protocol Kerberos * which adds the user's physical location ,the modified GNY logic is applied to analyze the security of Kerberos * protocol by combining identifiability with jurisdiction to construct a new jurisdiction rules .Analysis results show that Kerberos * protocol is secure ,and modified GNY logic proofs are more detail and more rigorous than modified BAN logic .The method can be applied to the formal analysis of the similar protocols .
Keywords：network securityKerberos * protocolGNYformal analysis
Publication Date：2014-10-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：6( 1758-1762,1882 )