Abstract: Security protocols are used to provide secure communication over open network. Process algebra refers to those algebraic approaches to the study of communication and concurrency systems. The verification methods based on process algebra are the important verification methods of security protocols. The main verification methods based on process algebra of security protocols are presented in this paper. Finally the possible new directions of security protocols verification are also stated.