随笔分类 -  算法分析，数据结构

常见的算法分析，以及算法代码
传统Dolev-Yao攻击模型和eCK强安全模型之间的辨析
摘要：1、DY模型是基于安全协议的分层次的思想，先考虑安全协议本身的行为逻辑是否存在缺陷，之后再考虑实现方法是否存在问题。 而在一般的协议分析中我 们在安全协议验证中我们假定攻击者不具备攻破密码算法的能力，在此前提之下DY模型规定攻击者具有的能力（攻击者不被主体协议察觉的情况下窃听到网络的消息，，攻击者不 阅读全文
posted @ 2019-12-17 10:58 疏桐 阅读(2995) 评论(0) 推荐(0) 编辑
CPNtools 模拟工具适合分析什么样的协议
该文被密码保护。
posted @ 2019-11-18 11:25 疏桐 阅读(118) 评论(0) 推荐(0) 编辑
用于并发系统建模和验证的着色Petri网及其工具软件的CPN Tools（笔记整理）
该文被密码保护。
posted @ 2019-11-05 22:22 疏桐 阅读(256) 评论(0) 推荐(0) 编辑
TLS密码套件规范命名解释
该文被密码保护。
posted @ 2019-07-23 17:29 疏桐 阅读(13) 评论(0) 推荐(0) 编辑
协议形式化分析资料整理
摘要：1、接近尾声把协议形式化分析的资料整理一遍 形式化分析工具 Scyther 软件资料以及 tool manual 在官网上可查 https://people.cispa.io/cas.cremers/scyther/\ scyther 形式化分析的协议 发布在作者 GitHub https://gi 阅读全文
posted @ 2019-07-23 08:54 疏桐 阅读(1277) 评论(1) 推荐(1) 编辑
协议编程资料整理
摘要：[1] 网络编程基础资料：《TCP/IP详解 - 第11章·UDP：用户数据报协议》《TCP/IP详解 - 第17章·TCP：传输控制协议》《TCP/IP详解 - 第18章·TCP连接的建立与终止》《TCP/IP详解 - 第21章·TCP的超时与重传》《理论经典：TCP协议的3次握手与4次挥手过程详 阅读全文
posted @ 2019-07-20 22:42 疏桐 阅读(257) 评论(0) 推荐(0) 编辑
LTS秘钥协商算法分析
摘要：1、根据RCF文档说法 在1-RTT中有两种密钥协商算法（1-RTT ECDHE和 1-RTT PSK ）和4中0-RTT密钥协商方式（0-RTT PSK， 0-RTT ECDH ，0-RTT ECDHE-PSK ,0-RTT ECDH-ECDHE） 首先看ECDH密钥的协商： 计算存在两种方法： 阅读全文
posted @ 2019-07-20 22:38 疏桐 阅读(451) 评论(0) 推荐(0) 编辑
TLS1.3对CIP的影响（对密码套件的解释）
摘要：1、术语定义的即使（算法）Definition of terms (optional) Cipher Suite ：通信数据保护规范，对TLS指定对端身份验证，关键技术机制，后续数据加密和数据验证机制， ClientHello ：TLS初始化消息连接，在TLS连接中能够发送的初始化消息以开始TLS握 阅读全文
posted @ 2019-06-20 17:12 疏桐 阅读(675) 评论(0) 推荐(0) 编辑
C++反汇编调试
摘要：1、使用 OllyDBG打开的dll文件，最好找破解pro版本。不然没有编辑权限 ,目前OllyDBG并不支持eclipse IDE 64位编辑的 .class文件类型。 另外使用反编译的时候物理内存必须大于4G，汇编的时候会占用很多的计算。 对HEX的数据根据需要编辑之后，使用分析指令 2、寄存器 阅读全文
posted @ 2019-01-01 02:04 疏桐 阅读(367) 评论(0) 推荐(0) 编辑
mysql
摘要：1、下载MySQL之后 目前还没有找到在控制台不能运行的原因。应该是路径的问题。暂且不管，直接在绝对路径下面进行操作数据库的表 上面有MySQL phpMyadmin 和 mutillidae是 XAMPP安装后自带的上个数据库。后续再说修改的问题。首先创建一个临时的数据库 tian 和 Test另 阅读全文
posted @ 2018-12-25 16:43 疏桐 阅读(200) 评论(0) 推荐(0) 编辑
java实现 排序算法（鸡尾酒排序&选择排序&插入排序&二分插入排序）
摘要：1、鸡尾酒排序算法 源程序代码： package com.SuanFa;public class Cocktial { public static void main(String[] args) { // TODO Auto-generated method stub cooktailSort c 阅读全文
posted @ 2018-07-15 22:50 疏桐 阅读(230) 评论(0) 推荐(0) 编辑
常见的排序算法（直接插入&选择排序&二分查找排序）
摘要：1、直接插入排序算法 源码： package com.DiYiZhang;/* 插入排序算法 * 如下进行的是插入，排序算法*/public class InsertionSort { public static void insertionSort(int[] a) { int tmp; for 阅读全文
posted @ 2018-06-20 21:52 疏桐 阅读(207) 评论(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) }();
点击右上角即可分享
微信分享提示