认证协议研究概览  

Survey of Authentication Protocol

作　　者：徐梦茗[1] 肖聪 江卫[1] 付毅[1] 

机构地区：[1]中国电子科技集团公司第三十研究所,四川成都610041 [2]810信箱33分箱,四川成都610041

出　　处：《信息安全与通信保密》2013年第4期57-58,61,共3页Information Security and Communications Privacy

摘　　要：认证协议是以密码学为基础的协议,它的最终目标是在分布式系统中提供各种各样的安全服务,是保证网络安全的基础。文中阐述了网络安全需要通过认证协议来进行主体之间的相互认证,而认证协议的正确性需要借助形式化的分析工具来进行验证。认证协议是非常精细和微妙的,认证也不是静止不变的。设计与分析认证协议是十分困难的,它是严格分析技术的最佳选择,是分布式安全结构的重要组成部分,而各种类型的形式化分析工具各有优劣。Authentication protocol is a protocol based on cryptology, with provision of various security services in the distributed system as its final objective, thus also a foundation for network security. Authentication protocol is used to implement mutual authentication in the security network. Authentication protocol is very subtle and never stands still, and thus is very difficult in design and analysis authentication protocol, because it is the best choice of strict analysis technology and the most important part of distributed security structure. Authentication protocol is specified and validated by various formalized tools with their own advantages and disadvantages

关 键 词：认证协议 形式化 逻辑 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]