：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断

资 源 简 介

：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。

您 可 能 感 兴 趣 的

• ：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断
• 支持SSL v2/v3, TLS, PKCS #5, PKCS #7, PKCS #11, PKCS #12, S/MIME, X.509v3证书等安全协议或标准的开发库编译用到NSPR
• 安全协议与标准.pdf 山东大学数学与系统科学学院
• 无限局域网标准。该标准介绍了无限局域网的安全协议
• 提出了Strand空间模型中证明安全协议的一个新思路
• SSL安全协议(中文版)
• 有关身份认证的安全协议的书籍．kerbros协议的分析与实现．
• Tomcat中SSL配置（SSL安全协议认证）
• 利用CONTIKI操作系统提高轻量级安全协议的IoT网络服务质量
• 在卡片上管理密码的工具。密码被标注并集体加密存储在卡片上。因此这是一个安全存储密码的方法