摘要： Process algebra is the theories for concurrency.Now the methods based on process algebra for the analysis and verification of security protocols becomes one of the important methods for the study of the security protocols.In the paper,we outline these met

关键词: 网络攻击 安全协议 进程代数 计算机网络 网络安全 加密体系