如今，基于Web版的Office在线预览与编辑功能已成为一种趋势，而关于该技术的实现却成为了国内大部份公司的技术挑战，挑战主要存在于两方面：  其一：目前国内乃至微软本身，还没有相对较为完善的解决方案  其二：对于开发人员来说，可查询资料甚少，即使翻墙，资...

看到这篇文章的题目，估计很多人都会问，这个组件是不是有些显的无聊了，说到web通信，很多人都会想到ASP.NETSignalR，或者Nodejs等等，实现web的网络实时通讯。有关于web实时通信的相关概念问题，在这里就不再做具体的介绍了，有兴趣的可以自行百度。 下面我们介绍一款WebSocket组件webs...

引言　　　　最近刚到公司不到一个月，正处于熟悉项目和源码的阶段，因此最近经常会看一些源码。在研究一个项目的时候，源码里面用到了HTTP的长轮询。由于之前没太接触过，因此LZ便趁着这个机会，好好了解了一下HTTP的长长短短。　　了解的方式主要都是LZ在网络上获取的，这里只是谈一下LZ对于这四种叫法最直观的理解。如果你之前...

1、各个层的作用物理层：（physicalLayer）：物理层负责传送比特（Bit），涉及到接口和传输媒体的机械电气特性数据链路层：（datalinklayer）：数据链路层负责传送的帧（Frame）网络层（NetworkLayer）：网楼层负责路由传递分组传输层（TransportLayer）；传输层负责传送完整的报...

1、接近尾声把协议形式化分析的资料整理一遍   形式化分析工具Scyther软件资料以及toolmanual在官网上可查  https://people.cispa.io/cas.cremers/scyther/   scyther形式化分...

[1]网络编程基础资料：《TCP/IP详解 - 第11章·UDP：用户数据报协议》《TCP/IP详解 - 第17章·TCP：传输控制协议》《TCP/IP详解 - 第18章·TCP连接的建立与终止》《TCP/IP详解&n...

1、LTS支持的三种基本的密码交换模式  （EC）DHE（Diffie-Hellmanboththefintefieldandellpticcurvevarieties）  PSK-only  PSKwith (EC)DHE2、在TLS1.3中0-R...

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

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

 ...

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

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

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

  Scyther软件是瑞士苏黎世大学CassCremers开发的形式化分析工具，该工具对于无限会话以及无限状态集合的协议可以给出明确的终止，并且支持多协议的并行分析，Scyther系列的工具包括Scyther和Scyther-Compromise（在我得论文中使用的是Scyther-Comprom...

 ...