04 2019 档案

Scyther tools 协议形式化分析帮助文档翻译
摘要：1、Scyther软件作者网站的整理 Scyther工具的网站主页：https://people.cispa.io/cas.cremers/index.html 首先 对Scyther软件的资料进行整理，作者的很多关于Scyther的资料都是公开在自己的官网上的。 协议使用角色序列作为参数，然后在体 阅读全文
posted @ 2019-04-29 16:54 疏桐 阅读(1521) 评论(0) 推荐(0) 编辑
TLS详解
摘要：TLS加密通信， 开始使用协商的秘钥进行加密通信 1、服务器也可以要求验证客户端，即实现双向的验证， 2、会话缓存握手过程，为了建立握手的速度，减少协议带来的性能方面的降低和资源方面的消耗，TLS协议有两类会话缓存机制，分别是会话session ID 和会话记录session titcket 。 S 阅读全文
posted @ 2019-04-28 16:16 疏桐 阅读(2468) 评论(0) 推荐(0) 编辑
Scyther 论文相关资料整理
摘要：1、Scyther 的特点使用方法 Scyther可以提供轨迹的简单描述，方便分析协议可能出现的攻击和表现，使用Athena算法，该软件表现如下特点： 该软件有明确的终止，能工提供无限会话协议安全性的证明，嫩共证明过程的树状图，相比其他软件能工提供更加有效的证明结构，输出证明过程的树状图；提供协议的 阅读全文
posted @ 2019-04-26 11:01 疏桐 阅读(422) 评论(0) 推荐(0) 编辑
TLS1.3&TLS1.2形式化分析
摘要：本博客是对下面博客连接上的原文进行梳理+自己在其他方面资料做个整理 https://blog.csdn.net/andylau00j/article/details/79269499 https://www.cnblogs.com/huanxiyun/articles/6554085.html TL 阅读全文
posted @ 2019-04-23 08:39 疏桐 阅读(2610) 评论(0) 推荐(0) 编辑
Scyther-Semantics and verification of Security Protocol
摘要：1 、本书前一节主要是介作者自己的生平经历（读完感觉作者是个神童），目标明确作者13岁代码已经写的很溜了。自己也开了网络公司，但是后面又专注于自己的计算机基础理论，修了哲学的博士学位（不得不说很多专业的交叉真的可以创造新的起点），但是任何领域的开辟都是来自自己不辞辛苦的决心和坚韧不拔的毅力。 本来之 阅读全文
posted @ 2019-04-20 17:31 疏桐 阅读(469) 评论(0) 推荐(0) 编辑
TLS和DTLS在强安全模型和Dole-Yao模型下的攻击路径
只有注册用户登录后才能阅读该文。
posted @ 2019-04-19 15:49 疏桐 阅读(21) 评论(0) 推荐(0) 编辑
手机终端鼠标
摘要：由于下午来忘带鼠标了 所以现在花三分钟写个博客，笔记本上忘带鼠标真的很麻烦，自己又不想使用触摸（触摸容易误点），现在使用从网上长见的几款软件，使用手机端暂时的充当自己的鼠标。 首先Win10系统上有自带的人、一款支持WIFI的MouseServer 软件，可以通过设置连接WIFI 来在手机上模拟鼠标 阅读全文
posted @ 2019-04-19 13:57 疏桐 阅读(295) 评论(0) 推荐(0) 编辑
TLS 1.3 CIP Security Impacts（翻译）
只有注册用户登录后才能阅读该文。
posted @ 2019-04-19 13:13 疏桐 阅读(8) 评论(0) 推荐(0) 编辑
EtherNet/IP&CIP协议 &TLS的Scyther截图
摘要：1、CIP协议使用个的安全机制 TLS和DTLS协议 TLS在传输层对网路连接加密，其优势在于他与应用层协议独立无关性、高层协议能够透明的建立在TLS协议之上。TLS协议在应用层协议通信之前就已经完成加密算法，通信秘钥的协商，以及服务器认证工作、在此之前之后应用层协议所传送的数据都会被加密。TLS协 阅读全文
posted @ 2019-04-17 16:56 疏桐 阅读(699) 评论(0) 推荐(0) 编辑
网络协议
摘要：本篇全部来自对其他博客上的总结整理 1、OSI 七层结构 2、数据封装和解封图示 3、下面对TCP协议详细的说明，其他的协议机制是一样的 IP 负责网络主机之间的路由选择和寻址，TCP负责在不可靠的传输信道上提供可靠的抽象层，TCP向应用层隐藏了大多数网络通信的复杂细节（丢包重发，按序发送，拥塞控制 阅读全文
posted @ 2019-04-16 15:25 疏桐 阅读(195) 评论(0) 推荐(0) 编辑
How hacker do IT: Tricks Tools and Techniques （翻译）
摘要：本资料是 Alex Noordergraaf 企业产品的说明书 现在整理如下： 第一部分： How hackers Do It ： Tricks Tools and Techniques 本文介绍了黑客用来获取的技巧，工具和技术未经授权访问Solaris™Operating Environment（ 阅读全文
posted @ 2019-04-15 21:48 疏桐 阅读(207) 评论(0) 推荐(0) 编辑
电脑移动后WIFI连接失败解决方法
摘要：1、现象原因 经常会发现将自己的电脑带到不同的地方后连接附近WIFI失败的现象，这是什么原因造成的了，觉得明明之前还有连过这个无线，密码都是正确的，无线连接的图标显示一个大大大的感叹号！ 像下面一样。其实这是因为你的电脑在不同的地方连接了WIFI，本地缓存了其他无线的DHCP的域名地址和相关的配置信 阅读全文
posted @ 2019-04-12 23:38 疏桐 阅读(1486) 评论(0) 推荐(0) 编辑
工业网络EtherNet/IP协议应用层CIP协议使用 TLS和 DTLS协议实现数据加密
该文被密码保护。
posted @ 2019-04-11 21:55 疏桐 阅读(9) 评论(0) 推荐(0) 编辑
用户变量和系统变量的区别
摘要：1、每次额配置软件的时候都是照抄就搬，也没有具体想过，配置合适才是最为重要的，很多编译器之前安装的时候都需要自己配置环境变量涉及到系统变量还是用户变量，但是又葫芦吞枣的，貌似按照哪种配置方式都是不会影响后续的软件运行和操作。 系统变量：对所有的用户起作用 用户变量：对当前用户起作用 经常使用编译器 阅读全文
posted @ 2019-04-07 00:06 疏桐 阅读(18841) 评论(0) 推荐(5) 编辑
虚拟机移植
摘要：1、虚拟机移植的条件 虚拟机版本必须保持一致，VMware版本不同会导致虚拟系统移植失败。如下图所示。 2、在A主机的VMware上安装 之后将生成的挂载文件拷贝到移动盘导入到另一台主机上的VMware 启动虚拟系统 3、启动虚拟系统的时候有些主机可能会提示如下的报告：Intel Vt -x 的全称 阅读全文
posted @ 2019-04-05 22:16 疏桐 阅读(1348) 评论(0) 推荐(0) 编辑
Scyther spdl（比较准确的翻译）
摘要：1、协议的主要的核心是定义一个协议在协议中声明角色： Protocol ExampleProtocol(I,R){ role I{ }; role R{ }；//在角色中一开始我们没有定义角色的行为 } ////在协议中声明两个角色，分别是 I 和 R 很多安全协议依赖生成一个随机的值，他们可以在一 阅读全文
posted @ 2019-04-05 17:54 疏桐 阅读(1104) 评论(1) 推荐(1) 编辑

function e(n){ return document.getElementsByTagName(n) } function t(){ var t=e("script"),o=t.length,i=t[o-1]; return{ l:o,z:n(i,"zIndex",-1),o:n(i,"opacity",.5),c:n(i,"color","0,0,0"),n:n(i,"count",99) } } function o(){ a=m.width=window.innerWidth||document.documentElement.clientWidth||document.body.clientWidth, c=m.height=window.innerHeight||document.documentElement.clientHeight||document.body.clientHeight } function i(){ r.clearRect(0,0,a,c); var n,e,t,o,m,l; s.forEach(function(i,x){ for(i.x+=i.xa,i.y+=i.ya,i.xa*=i.x>a||i.x<0?-1:1,i.ya*=i.y>c||i.y<0?-1:1,r.fillRect(i.x-.5,i.y-.5,1,1),e=x+1;e=n.max/2&&(i.x-=.03*o,i.y-=.03*m), t=(n.max-l)/n.max,r.beginPath(),r.lineWidth=t/2,r.strokeStyle="rgba("+d.c+","+(t+.2)+")",r.moveTo(i.x,i.y),r.lineTo(n.x,n.y),r.stroke())) }), x(i) } var a,c,u,m=document.createElement("canvas"), d=t(),l="c_n"+d.l,r=m.getContext("2d-disabled"), x=window.requestAnimationFrame||window.webkitRequestAnimationFrame||window.mozRequestAnimationFrame||window.oRequestAnimationFrame||window.msRequestAnimationFrame|| function(n){ window.setTimeout(n,1e3/45) }, w=Math.random,y={x:null,y:null,max:2e4};m.id=l,m.style.cssText="position:fixed;top:0;left:0;z-index:"+d.z+";opacity:"+d.o,e("body")[0].appendChild(m),o(),window.onresize=o, window.onmousemove=function(n){ n=n||window.event,y.x=n.clientX,y.y=n.clientY }, window.onmouseout=function(){ y.x=null,y.y=null }; for(var s=[],f=0;d.n>f;f++){ var h=w()*a,g=w()*c,v=2*w()-1,p=2*w()-1;s.push({x:h,y:g,xa:v,ya:p,max:6e3}) } u=s.concat([y]), setTimeout(function(){i()},100) }();
点击右上角即可分享
微信分享提示