【摘要】 安全协议提供安全服务,是保证网络安全的基础。文章通过形式化分析方法,采用AVISPA分析工具对安全协议进行分析,总结出网络攻击方式的类型及其相应的解决办法。更多还原

【Abstract】 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.更多还原