安全协议分析

安全协议分析（security protocol analysis），理学-计算机科学技术-计算机网络-网络安全-安全协议，对安全协议的安全性进行分析验证。由于安全协议是网络安全的一个重要组成部分，需要通过安全协议进行实体之间的认证、在实体之间安全地分配密钥或其他各种秘密、确认发送和接收消息的非否认性等，所以确保这些协议的安全运行是极为重要的，但是由于安全协议使用了多种不同的密码体制，而且消息之间存在复杂的相互作用和制约，对协议的安全性进行分析和研究是很重要的问题。