SPIN Analysis for Security of Kerberos Protocol
Jie Xu · Modern Computer · 2008
With the rapid development of network applications,security of protocols has been of great importance and now the analysis and research on protocols' security has also been an urgent task.Introduces Kerberos protocol,then uses informal methods to analysis protocols,and fi-nally applies model checker SPIN to analyse the protocol in two aspects of security proper-ty,authentication and secret property and simulates to achieve the replay attacks.