Qin Li Fan Yang Huibiao Zhu Longfei Zhu Formal Modeling and Analyzing Kerberos Protocol. 813-819 2009 CSIE (7) http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.64 conf/csie/2009 db/conf/csie/csie2009-7.html#LiYZZ09