1、最终的目的是如何将协议的不安全因素进行改进，提升安全性能。对协议中有关的加密和认证的过程进行形式化分析验证的时候通过添加敌手模型的（DY模型和eCK强安全模型），接受者和发送者之间的通信过程可能存在被攻击者干扰，即就是存在攻击输出。那么我们的目的就不光光是验证了现有协议确实在哪一个方面确实存在攻击点位。而是通过对协...

1、Scyther形式化分析工具可以对协议进行形式化描述，验证协议的机密性和可认证性是否存在安全威胁。在攻击时支持会话轮数无限次执行，同时支持在强安全模型和Delov-Yao模型。在对要形式化分析的协议算法方面并不支持含有 “”XOR“”运算代数性质和&ldqu...

 ...

1、状态码 具体的状态码可以百度查找，但是对于状态码的大致分类有一个清楚的了解   1XX  ----信息状态码------接受的请求正在处理   2XX------成功状态码------请求正常处理完毕  &...

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

本篇论文额主要创新点：  利用Scyther软件，通过对一个不安全的秘钥建立协议逐步添加并验证安全属性，最终建立一个安全的秘钥建立协议。     通过形式化分析软件设计秘钥建立协议课可以提高协议设计效率，减少设计者在设计过程中的认为错误，此外，该方法...

 ...

1、Scyther软件作者网站的整理  Scyther工具的网站主页：https://people.cispa.io/cas.cremers/index.html 首先对Scyther软件的资料进行整理，作者的很多关于Scyther的资料都是公开在自己的官网上的。 协议使用角色序...

 1、CIP协议使用个的安全机制TLS和DTLS协议          TLS在传输层对网路连接加密，其优势在于他与应用层协议独立无关性、高层协议能够透明的建立在TLS协议之上。TLS协议在应用层协议通信之前就...

本篇全部来自对其他博客上的总结整理1、OSI七层结构2、数据封装和解封图示 3、下面对TCP协议详细的说明，其他的协议机制是一样的   IP 负责网络主机之间的路由选择和寻址，TCP负责在不可靠的传输信道上提供可靠的抽象层，TCP向应用层隐藏了大多数网络通信的复杂细节（...

1、性能分析    目前来说形式化的分析已经成为安全协议的一种很流行的方法，但是每种工具都用其不同适合的协议，Scyther软件是一种形式化分析工具，极大的促进了协议的分析和设计，scyther工具在运行界面和安全模型以及搜索等方面的综合性优势，形式化分析的方法源自于数学原理和逻...

一、Ethernet/IP协议    将标准的TCP/IP以太网延伸到工业实时控制并和通用工业协议（CIP）结合，将很好地帮助用户获得更加开放集成的工业自动化和信息化的整体解决方案。EtherNet/IP就是为实现这一目的的标准工业以太网技术。Ethernet/IP是一个面向工业...

 ...

1、  EtherNet/IP:   设备可以用户数据报协议（UDP）的隐式报文传送基于IO的资料，用户传输控制协议（TCP）显示报文上传和下参数，设定值，程式，用户主站的轮询从站周期性的更新或是改变状态COS，方便主站监控从站的状态，讯息会使用UDP的报文发送出去&n...

         个人信息安全：  信息安全状况不能说真的很糟糕，但是确实很糟糕，有点自相矛盾，极力建议大家不要随便在网页上或者浏览器上下载app安装到手机，其次没有用的app或者功能重复的app就不要安装了（...