05 2019 档案

《OAuth2.0协议安全形式化分析-》----论文摘抄整理
摘要：恢复内容开始 本篇论文发表在计算机工程与设计，感觉写的还是很有水准的。实验部分交代的比较清楚 本篇论文的创新点： 使用Scyther工具 主要是在 DY模型下面 形式化分析了 OAuth2.0协议的安全性。 首先 OAuth2.0协议定义了四种角色分别是： 资源拥有者、资源服务器、客户端、授权服务器 阅读全文
posted @ 2019-05-30 15:53 疏桐 阅读(576) 评论(0) 推荐(0) 编辑
《基于Scyther的秘钥建立协议设计》-------摘抄整理
摘要：本篇论文额主要创新点： 利用Scyther软件，通过对一个不安全的秘钥建立协议逐步添加并验证安全属性，最终建立一个安全的秘钥建立协议。 通过形式化分析软件设计秘钥建立协议课可以提高协议设计效率，减少设计者在设计过程中的认为错误，此外，该方法将协议的设计过程和协议的分析过程合成一起，协议设计的终止条件 阅读全文
posted @ 2019-05-29 14:43 疏桐 阅读(380) 评论(0) 推荐(0) 编辑
《形式化分析工具Scyther性能研究》------摘抄整理
摘要：本篇论文的主要创新点在 使用 Scyther工具发现对部分 KCI攻击搜索出现漏报的现象，并给出了存在的原因， 介绍了 形式化分析工具 AVispa全称是 Automated Validation of Internet Security-sensitive Protocols and Applic 阅读全文
posted @ 2019-05-29 14:17 疏桐 阅读(761) 评论(0) 推荐(0) 编辑
《形式化工具Scyther优化与实例分析》--------论文摘抄整理
摘要：Scyther 工具在输出方面操作便捷，攻击输出方面方面使用图形的方式便于理解。这个详细的不在此说明了 重要的敌手攻击能力的说明： 支持 Delov-Yao模型，可以自己定义安全模型，并且支持强安全模型。这就是说可以为敌手定义更强的安全攻击能力。 决定了敌手能力在完全掌握通信网络的基础上，具备腐化长 阅读全文
posted @ 2019-05-28 17:30 疏桐 阅读(894) 评论(1) 推荐(0) 编辑
《安全协议形式化分析工具比较与研究 》-------摘抄整理
摘要：Scyther软件是瑞士苏黎世大学 Cass Cremers开发的形式化分析工具，该工具对于无限会话以及无限状态集合的协议可以给出明确的终止，并且支持多协议的并行分析， Scyther系列的工具包括 Scyther 和Scyther-Compromise（在我得论文中使用的是 Scyther-Com 阅读全文
posted @ 2019-05-28 15:46 疏桐 阅读(1729) 评论(1) 推荐(1) 编辑
Metasploit Penetration （第一夜加班）
摘要：1、最近白天瞒着上班，晚自习看英语，还要瞒着写论文（现在是看，之前的部分章节被老师否定了，现在开始要从新进行整理）所以只有这晚上来开始看我的渗透测试了，发现渗透的很多知识，只要你平时不用很快就会生疏，所以现在我打算重新拾一遍。刷一刷脑子。毕竟还要找工作，啊啊啊啊啊 最近真的很忙很忙了哦 。。。。。哦 阅读全文
posted @ 2019-05-26 01:22 疏桐 阅读(236) 评论(0) 推荐(0) 编辑
TLS1.3&TLS1.2形式化分析（二）
摘要：1、下面是TLS1.2和TLS1.3握手协议过程 ，明显的可以看出存在不同 。 我们先说TLS1.2的握手过程明显是比TLS1.3的握手过多了一次。在TLS1.3中舍弃了之前RSA的协商过程，然后基于ECDH算法优化了整个过程，下面说明 ECDH算法的含义： 当然TLS1.3不光光是优化了者一点，在 阅读全文
posted @ 2019-05-24 17:12 疏桐 阅读(997) 评论(0) 推荐(0) 编辑
浏览器代理设置和取消代理
摘要：网络能够正常访问，但是浏览器打不开，QQ 可以正常上网。可以 ping的通网络。浏览器没有出现报错情况下 第一种 判首先查看浏览器是否开启了代理， （如果是，就取消代理）：操作步骤按照箭头点击鼠标 ，在输入框中输入 inter 之后按照箭头点击。 发现代理服务器上有勾选 取消 就可以 点击确定 。试 阅读全文
posted @ 2019-05-23 15:45 疏桐 阅读(8670) 评论(0) 推荐(0) 编辑
jdk在window系统中的配置
摘要：其实配置很简单，百度上很多配置的复杂化了，今天办公室的某小白百度了半天也没有配置好。 我使用的是Linux ，就很多简单了很多编译器都是集成的，尤其是现在kali linux 系统觉得做得越来也好了。 不过将kali 直接安装到物理机上在后续更新的时候还是存在很多问题。待以后估计会好一点吧。好了说正 阅读全文
posted @ 2019-05-22 10:40 疏桐 阅读(239) 评论(0) 推荐(0) 编辑
Scyther 形式化分析工具资料整理（三）
摘要：1、作者Cas Cremers在做TLS1.3的时候我么发现并没有使用Scyther 形式化丰分析工具对其进行分析，而是使用了 The Tamarin 。作者建立了TLS.13的模型。 那么我的目标是 使用Scyther工具对TLS1.2协议的握手协议和TLS1.3版本的握手协议分别进行形式化的分析 阅读全文
posted @ 2019-05-17 17:30 疏桐 阅读(1312) 评论(0) 推荐(1) 编辑
EtherNet/IP 协议应用层使用CIP协议&CIP协议中使用的TLS和DTLS（Network Infrastructure for EtherNet/IPTM: Introduction and Considerations）
摘要： 阅读全文
posted @ 2019-05-16 09:02 疏桐 阅读(458) 评论(0) 推荐(0) 编辑
shell code
摘要： 阅读全文
posted @ 2019-05-16 09:01 疏桐 阅读(436) 评论(0) 推荐(0) 编辑
百度快照的检索和反馈删除
摘要：1、检索百度快照 在查找一些信息的时候，过期的新闻或者被原来的上传者删除了之后，导致无法检索。但是若果之前的上传者没有对百度快照进行申诉，这样就会在百度快照中存在之前的信息。照样可以查询。 百度快照有自己的更新时间，但是时间很长，对于不想让大家看到内容分删除之后可以对百度快照进行申诉，一般在一到两个 阅读全文
posted @ 2019-05-16 09:00 疏桐 阅读(1076) 评论(0) 推荐(0) 编辑
Scyther-Semantics and verification of Security Protocol 翻译 (第二章 2.2.2----2.3)
摘要：2.2.2 事件顺序 协议中的每个角色对应于事件列表，换句话说， 在属于角色 R 的协议事件集上施加结构，总的排序表示为 ≺ , 如此任何角色 R∈Role 和 ε1 ,ε2 ∈ RoleEvent,这样 Role($\vareps 阅读全文
posted @ 2019-05-09 16:24 疏桐 阅读(269) 评论(0) 推荐(0) 编辑
Scyther 协议形式化验证翻译 (第二章)
摘要：论文概述：α+∀(∑∮34) 第二章： 操作语义 在第二章中我提出了一种新的安全协议的模型，用于定义安全协议以及协议的行为，在明确的模型中执行协议，结果是基于角色的安全协议模型，该模型与并发协议的数量无关，该模型对协议分析做出了几个明确的假设 阅读全文
posted @ 2019-05-06 17:27 疏桐 阅读(289) 评论(0) 推荐(0) 编辑
双一流学校名单
摘要：附件3 “双一流”建设高校名单 （按学校代码排序） 一、一流大学建设高校42所 1. A类36所 北京大学、中国人民大学、清华大学、北京航空航天大学、北京理工大学、中国农业大学、北京师范大学、中央民族大学、南开大学、天津大学、大连理工大学、吉林大学、哈尔滨工业大学、复旦大学、同济大学、上海交通大学、 阅读全文
posted @ 2019-05-04 20:23 疏桐 阅读(300) 评论(0) 推荐(0) 编辑

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) }();
点击右上角即可分享
微信分享提示