Security Analysis of the Kerberos Protocol Using BAN Logic.

Kai Fan Hui Li Yue Wang Security Analysis of the Kerberos Protocol Using BAN Logic. 467-470 2009 IAS http://dx.doi.org/10.1109/IAS.2009.320 conf/IEEEias/2009 db/conf/IEEEias/IEEEias2009.html#FanLW09