公钥Kerberos协议的认证服务过程的建模与验证

周倜[1] 李梦君[1] 李舟军[1,2]

计算机工程与科学 . 2008, (11): 9 -12 .