简化策略论文

网络认证协议的高效模型检测研究
论文摘要网络认证协议的主要作用是验证通信主体的身份并协商安全的会话密钥,但在开放、分布式的网络复杂环境中认证协议可能会出现一些隐藏的缺陷,而这些隐藏的安全和设计缺陷难以通过测试...