Security Analysis of Kerberos Protocol Based on SST
Jie Yang · Computer Programming Skills & Maintenance · 2010
This paper has a detailed security analysis of Kerberos,using an advanced kind of formal analysis method-Strand Space,and get the conclusion that the protocol is safe.With the new formal analysis method of Kerberos was posed,the application range of SST got enlarged in the aspect of applied protocol's analysis.