. (2007). Analyzing Authentication in Kerberos-5 Using Distributed Temporal Protocol Logic.
            <i>Journal of Information and Computing Science</i>. <i>2</i> (3).
            163-171.
         doi: