随笔分类 -  论文资料整理

1 2 3 下一页
通用工业协议（CIP）形式化的安全分析（前期概念的梳理）
摘要：1、CIP的概念的梳理 CIP是为开放的现场总线DeviceNet ControlNet EtherNet/IP 网络提供公共的应用层和设备描述， CIP是基于对象的协议，使用生产者/消费者模型，分为显式报文和隐式报文两种情况。使用的共同的配置文件格式是EDS（电子数据表） ，同时CIP独立于物理层 阅读全文
posted @ 2019-10-08 13:44 疏桐 阅读(2826) 评论(0) 推荐(1) 编辑
协议安全分析方法的综述
摘要：安全协议的定义是： 是建立在密码体制基础上的一种交互通信的协议，所以也成为密码协议，他运行在计算机通信网或者分布式系统中，借助于密码算法来达到秘钥分配，身份认证的目的。两方或者多方为了获得某种特定的安全目标而执行的一个分布式算法。这个算法确定一个动作的序列，这些动作主要发送和接受使用密码的功能构造消 阅读全文
posted @ 2019-09-12 17:14 疏桐 阅读(2883) 评论(0) 推荐(0) 编辑
Needham-Schroeder Scyther工具形式化过程
摘要：1、Needham-Schroeder Public key Protocol 协议的通信认证的过程 顺序图的 1、 A-> S ： A, B 2、 S->A： {Ks, B }Ks-1 3、 A->B ： {Na, A }Ks 4、 B->S： B ，A 5、 S->B： {Ka, A}Ks-1 阅读全文
posted @ 2019-09-09 11:13 疏桐 阅读(690) 评论(0) 推荐(0) 编辑
《安全形式化分析理论与应用研究》------总结
摘要：1、最早提出对安全协议形式化分析思想的是Needham和Schroeder[8] 1978年 他们为进行共享和公钥的认证的认证服务系统的实现建立了安全协议即 Needham-Schroeder安全协议，（简称NS安全协议）这个协议在信息安全领域产生了深远的影响，引发了安全协议领域的许多重要问题的研究 阅读全文
posted @ 2019-09-02 23:00 疏桐 阅读(1210) 评论(0) 推荐(0) 编辑
Scyther tool 入门
摘要：1、Scyther 适合分析什么样的协议 首先协议分析工具并不是可以分析所有的协议，每种协议都有其自己适合的分析方法，并不都是可以使用形式化方法来分析。 目前协议分析方法： 模态逻辑分析（BAN逻辑，Bieber逻辑等）、定理证明分析（耗费资源）、模型检测分析。 Scyther适合分析协议的特征： 阅读全文
posted @ 2019-08-23 16:49 疏桐 阅读(4119) 评论(1) 推荐(0) 编辑
Graphviz install the Windows for Scyther
摘要：1、在Pycharm 中使用Scyther工具的时候需要导入 graphviz 直接在 Interpreter 上安装的售后会报错,如果在 IDE上无法支架安装的库可以试图在控制台上安装，控制台上无法安装的库直接下载后复制到对应python 的库文件中加载。 根据提示在控制台下 输入 pip ins 阅读全文
posted @ 2019-08-15 16:11 疏桐 阅读(579) 评论(0) 推荐(0) 编辑
TLS之殇如何把我逼上绝望
该文被密码保护。
posted @ 2019-07-25 17:52 疏桐 阅读(56) 评论(0) 推荐(0) 编辑
TLS密码套件规范命名解释
该文被密码保护。
posted @ 2019-07-23 17:29 疏桐 阅读(13) 评论(0) 推荐(0) 编辑
工业以太网EtherNet/IP协议安全分析
该文被密码保护。
posted @ 2019-07-20 21:20 疏桐 阅读(351) 评论(0) 推荐(0) 编辑
“key_share”和"pre_shared_key" 的区别
摘要：越是基本的问题或者概念越是难解释或者讲清楚，论文写到现在真的好无助的样子 。 在LTS协议中牵扯到握手的认证和秘钥建立的时候，这连个概念经常混淆，TLS1.3版本协议为参照，区别这两个概念 1、概念的解释 key_share是椭圆曲线类型对应的公钥扩展。 pre_shared_key（对称秘钥）是预 阅读全文
posted @ 2019-07-09 23:10 疏桐 阅读(3628) 评论(0) 推荐(0) 编辑
TLS1.3 认证和秘钥建立握手环节的分析
摘要：1、ClientHello 中的参数 ClientHello { Random_C 、extension } 在 extension中的扩展中包含 （ supported_version 、 supported_groups、 signatureschemlist、key_shared ） 2、服务 阅读全文
posted @ 2019-07-04 22:51 疏桐 阅读(1618) 评论(0) 推荐(0) 编辑
TLS1.3 握手协议的分析
摘要：1、LTS支持的三种基本的密码交换模式 （EC）DHE （Diffie-Hellman both the finte field and ellptic curve varieties） PSK-only PSK with (EC)DHE 2、在TLS1.3中 0-RTT数据的安全属性比其他类型的T 阅读全文
posted @ 2019-07-02 22:27 疏桐 阅读(1100) 评论(0) 推荐(0) 编辑
Formal Analysis of the TLS Handshake Protocol -----论文整理
摘要：1、关键词 TLS、SSL、Formal Analsysis Conridentiality Secerecy 2、Table THE SSL/TLS handshake Protocol 3、TLS的发展历史 4、TLS1.2和TLS1.3 的握手消息流的状态 4、密码套件中包含的几种套件 5、D 阅读全文
posted @ 2019-07-01 16:06 疏桐 阅读(378) 评论(0) 推荐(0) 编辑
SSL/TLS 握手协议简述
摘要：1、参数协商 首先客户端和服务端确定一个双方都支持的最高的协议版本，同时确定他们使用的密码套件 组合算法 （Cipher Suite）算法的组合分别用在不同目的的三个算法，包含交换秘钥和身份认证的算法，用于加密程序的对称加密算法，以及消息验证的MAC算法。算法组合的规范如下： 身份验证通过之后，进入 阅读全文
posted @ 2019-06-27 23:16 疏桐 阅读(1694) 评论(0) 推荐(0) 编辑
TLS握手秘钥套件分析
摘要：1、为了弄清楚TLS1.3的内部结构，觉得有必要将TLS的整个结构从新整理一遍，方便后续在做握手协议的形式化分析的时候能够不遗漏每个加密和认证的的环节。 TLS1.3不论文在协议内容上还是性能上都较之前的TLS1.2版本有较大的改变，这里首先概括性的表征一下存在的差异： 更换了新的密码套件，旧的密码 阅读全文
posted @ 2019-06-26 11:12 疏桐 阅读(2808) 评论(0) 推荐(0) 编辑
Scyther-Compromise 协议形式化安全分析如何改进协议
摘要：1、最终的目的是如何将协议的不安全因素进行改进，提升安全性能。对协议中有关的加密和认证的过程进行形式化分析验证的时候通过添加敌手模型的（DY模型和eCK强安全模型），接受者和发送者之间的通信过程可能存在被攻击者干扰，即就是存在攻击输出。那么我们的目的就不光光是验证了现有协议确实在哪一个方面确实存在攻 阅读全文
posted @ 2019-06-23 22:59 疏桐 阅读(465) 评论(0) 推荐(0) 编辑
协议形式化安全分析 Scyther 并非所有协议可以照抄就搬
该文被密码保护。
posted @ 2019-06-23 10:38 疏桐 阅读(123) 评论(0) 推荐(0) 编辑
Scyther Advanced Topics
摘要：建立非对称秘钥对 声明一个公钥函数和一个私钥函数： const pk2: Function ; const sk2: Function ； 我们还声明这些函数代表非对称密钥对： inversekeys(pk2, sk2) ; 近似等式理论， 通用的加密结构更加自然的建模通过特定的等式。 gab（mo 阅读全文
posted @ 2019-06-20 17:13 疏桐 阅读(246) 评论(0) 推荐(0) 编辑
Needham-Schroeder协议的形式化描述语言
摘要：1、对TLS1.3协议形式化描述过程 第一步： Needham-Schroeder 过程的分析 常量和变量的定义： /* * Needham-Schroeder过程的形式化描述 */ // THE protocol description protocol TLS-1.3(a, b ){ // 首先 阅读全文
posted @ 2019-06-20 17:12 疏桐 阅读(1650) 评论(1) 推荐(2) 编辑
TLS1.3对CIP的影响（对密码套件的解释）
摘要：1、术语定义的即使（算法）Definition of terms (optional) Cipher Suite ：通信数据保护规范，对TLS指定对端身份验证，关键技术机制，后续数据加密和数据验证机制， ClientHello ：TLS初始化消息连接，在TLS连接中能够发送的初始化消息以开始TLS握 阅读全文
posted @ 2019-06-20 17:12 疏桐 阅读(675) 评论(0) 推荐(0) 编辑

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