Analysis of security protocols and attacks in network
Huang Jin-tao · 2007
Security protocols are the basis of security which provide security services in network.. We analyse security protocols adopting AVISPA analysis tool, according to formalization analysis method, and find out the types of attacks and corresponding solutions.