发现之前记录的存在忽略，把存在的一个重要问题遗漏了，Endnote中文文献导入无法导入，软件奔溃问题，现在在原先基础上补上（补到最后）： ..一路绿色φ(>ω<*) φ(>ω< ...

越是基本的问题或者概念越是难解释或者讲清楚，论文写到现在真的好无助的样子 。 在LTS协议中牵扯到握手的认证和秘钥建立的时候，这连个概念经常混淆，TLS1.3版本协议为参照，区别这两个概念 ...

本博客是对下面博客连接上的原文进行梳理+自己在其他方面资料做个整理 https://blog.csdn.net/andylau00j/article/details/79269499 h ...

1、对TLS1.3协议形式化描述过程 第一步： Needham-Schroeder 过程的分析 常量和变量的定义： /* * Needham-Schroeder过程的形式化描述 * ...

1、参数协商 首先客户端和服务端确定一个双方都支持的最高的协议版本，同时确定他们使用的密码套件----组合算法 （Cipher Suite）算法的组合分别用在不同目的的三个算法，包含交换秘钥和身份认 ...

1、Scyther 适合分析什么样的协议 首先协议分析工具并不是可以分析所有的协议，每种协议都有其自己适合的分析方法，并不都是可以使用形式化方法来分析。 目前协议分析方法： 模态逻辑分 ...

1、为了弄清楚TLS1.3的内部结构，觉得有必要将TLS的整个结构从新整理一遍，方便后续在做握手协议的形式化分析的时候能够不遗漏每个加密和认证的的环节。 TLS1.3不论文在协议内容上还 ...

安全协议的定义是： 是建立在密码体制基础上的一种交互通信的协议，所以也成为密码协议，他运行在计算机通信网或者分布式系统中，借助于密码算法来达到秘钥分配，身份认证的目的。两方或者 ...

1、CIP的概念的梳理 CIP是为开放的现场总线DeviceNet ControlNet EtherNet/IP 网络提供公共的应用层和设备描述， CIP是基于对象的协议，使用生产者/消费者 ...

1、ClientHello 中的参数 ClientHello---{ Random_C 、extension } 在 extension中的扩展中包含 （ supported_version ...