RESEARCH ON FORMAL AUTHENTICATION ALGORITHM BASED ON INTRUDER AND SECURITY

• 基于攻击者和秘密的安全协议验证算法的研究与实现