51
Dev开发社区
首页
文章
问答
工具
搜索
登录
注册
#资料
协议编程资料整理
[1]网络编程基础资料:《TCP/IP详解 - 第11章·UDP:用户数据报协议》《TCP/IP详解 - 第17章·TCP:传输控制协议》《TCP/IP详解 - 第18章·TCP连接的建立与终止》《TCP/IP详解&n...
代码星球
·
2020-04-07
协议
编程
资料
整理
Scyther 形式化分析工具资料整理(三)
1、作者CasCremers在做TLS1.3的时候我么发现并没有使用Scyther形式化丰分析工具对其进行分析,而是使用了TheTamarin。作者建立了TLS.13的模型。那么我的目标是使用Scyther工具对TLS1.2协议的握手协议和TLS1.3版本的握手协议分别进行形式化的分析。通过对比TLS1.3较之前的TL...
代码星球
·
2020-04-07
Scyther
形式化
分析
工具
资料
Scyther 论文相关资料整理
1、Scyther的特点使用方法 Scyther可以提供轨迹的简单描述,方便分析协议可能出现的攻击和表现,使用Athena算法,该软件表现如下特点: 该软件有明确的终止,能工提供无限会话协议安全性的证明,嫩共证明过程的树状图,相...
代码星球
·
2020-04-07
Scyther
论文
相关
资料
整理
Niagara帮助文档资料整理
1、任何软件额发布都会有说明文档,有的不会附具体实践的操作步骤,存在不懂得问题一般可以通过查看榜文文档解决问题 一些软件的帮助文档是一PDF格式存储在软件安装的目录下面,如Niagarworkbench的帮助文档的...
代码星球
·
2020-04-07
Niagara
帮助
文档资料
整理
协议形式化分析Scyther 资料整理
1、性能分析 目前来说形式化的分析已经成为安全协议的一种很流行的方法,但是每种工具都用其不同适合的协议,Scyther软件是一种形式化分析工具,极大的促进了协议的分析和设计,scyther工具在运行界面和安全模型以及搜索等方面的综合性优势,形式化分析的方法源自于数学原理和逻...
代码星球
·
2020-04-07
协议
形式化
分析
Scyther
资料
nodeJs 资料
http://blog.csdn.net/binyao02123202/article/details/18811207 非常详细http://www.runoob.com/nodejs/nodejs-tutorial.html非常易上手http://www.csdn.net/article/20...
代码星球
·
2020-04-06
nodeJs
资料
dubbo 学习资料
入门:http://www.tuicool.com/articles/FnE3emhttp://www.cnblogs.com/xuyatao/p/6869231.html最好http://www.cnblogs.com/yjmyzz/p/dubbox-demo.html https://yq.a...
代码星球
·
2020-04-06
dubbo
学习资料
原想着mysql里放些文件什么的,查完资料还是算了
1、图片,文件,二进制数据,文件还是放入文件服务器吧或者分布式文件系统2、短生命期数据3、日志文件 mysql中一张表的数据是全部在一个数据文件中的。如果大字段的数据也存储在里面。程序展示列表,比如文章列表。这个时候根本不需要展示文章内容的。但是仍然会影响速度,数据库查找数据其实就是扫描那个数据文件,文件...
代码星球
·
2020-04-06
想着
mysql
里放
文件
什么
安卓开发环境安装配置(自已备用资料)
一、安装java的JDK1、安装软件1.jdk_7.0.70.10_windows_x64_XiaZaiBa.RAR下载地址:http://www.oracle.com/technetwork/java/javase/downloads/index.html2、设置(1)、【右键我的电脑】--【属性】--【高级系统设置...
代码星球
·
2020-04-06
安卓
开发
环境
安装
配置
LM358资料及引脚图
LM358里面包括有两个高增益、独立的、内部频率补偿的双运放,适用于电压范围很宽的单电源,而且也适用于双电源工作方式,它的应用范围包括传感放大器、直流增益模块和其他所有可用单电源供电的使用运放的地方使用。 LM358封装有塑封8引线双列直插式和贴片式两种。LM358的特点: .内部频率补偿.低输入偏...
代码星球
·
2020-04-05
LM358
料及
引脚
jenkins 插件开发资料
jenkinsplugin开发:documenthttp://hudson-ci.org/docs/index.htmlhttps://wiki.jenkins-ci.org/display/JENKINS/Extend+Jenkinshttps://wiki.jenkins-ci.org/display/JENKIN...
代码星球
·
2020-04-05
jenkins
插件
开发
资料
爬取爬虫学习资料
如有不得当之处,请联系我会及时删除这次的抓取我用的是requests和Xpath,因为没有必要使用大型工具importrequestsfromlxmlimportetree 思路:1.目的是下载爬虫教程2.分析网页以及规则,使用Xpath简单获取下载url3.循环下载代码如下:classgithu...
代码星球
·
2020-04-05
爬取
爬虫
学习资料
cucumber 使用资料
1、cucumberreportinggithub:https://github.com/damianszczepanik/cucumber-reporting配置:详细参考上述地址描述 a.添加一个maven依赖项到你的pom<dependency><groupId>net.mastertho...
代码星球
·
2020-04-05
cucumber
使用
资料
HBTC 2012 Hadoop与大数据技术大会演讲PPT资料
https://www.cnblogs.com/yun111/archive/2012/12/11/2812420.html...
代码星球
·
2020-04-05
HBTC
2012
Hadoop
数据
技术
hadoop菜鸟教程 Hadoop学习资料(云计算学习电子书)
https://blog.csdn.net/fengliaoai/article/details/89890303http://www.xuexiluxian.net/hadoop-xuexi.htmlhttps://edu.51cto.com/mic-position/243.html?jzl-jn&bd_v...
代码星球
·
2020-04-05
hadoop
菜鸟
教程
Hadoop
学习资料
首页
上一页
...
6
7
8
9
10
下一页
尾页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他