#资料

协议编程资料整理

[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...

Scyther 论文相关资料整理

1、Scyther的特点使用方法   Scyther可以提供轨迹的简单描述,方便分析协议可能出现的攻击和表现,使用Athena算法,该软件表现如下特点:     该软件有明确的终止,能工提供无限会话协议安全性的证明,嫩共证明过程的树状图,相...

Niagara帮助文档资料整理

1、任何软件额发布都会有说明文档,有的不会附具体实践的操作步骤,存在不懂得问题一般可以通过查看榜文文档解决问题         一些软件的帮助文档是一PDF格式存储在软件安装的目录下面,如Niagarworkbench的帮助文档的...

协议形式化分析Scyther 资料整理

1、性能分析    目前来说形式化的分析已经成为安全协议的一种很流行的方法,但是每种工具都用其不同适合的协议,Scyther软件是一种形式化分析工具,极大的促进了协议的分析和设计,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

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

原想着mysql里放些文件什么的,查完资料还是算了

1、图片,文件,二进制数据,文件还是放入文件服务器吧或者分布式文件系统2、短生命期数据3、日志文件   mysql中一张表的数据是全部在一个数据文件中的。如果大字段的数据也存储在里面。程序展示列表,比如文章列表。这个时候根本不需要展示文章内容的。但是仍然会影响速度,数据库查找数据其实就是扫描那个数据文件,文件...

安卓开发环境安装配置(自已备用资料)

一、安装java的JDK1、安装软件1.jdk_7.0.70.10_windows_x64_XiaZaiBa.RAR下载地址:http://www.oracle.com/technetwork/java/javase/downloads/index.html2、设置(1)、【右键我的电脑】--【属性】--【高级系统设置...

LM358资料及引脚图

LM358里面包括有两个高增益、独立的、内部频率补偿的双运放,适用于电压范围很宽的单电源,而且也适用于双电源工作方式,它的应用范围包括传感放大器、直流增益模块和其他所有可用单电源供电的使用运放的地方使用。 LM358封装有塑封8引线双列直插式和贴片式两种。LM358的特点: .内部频率补偿.低输入偏...
代码星球 ·2020-04-05

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

爬取爬虫学习资料

 如有不得当之处,请联系我会及时删除这次的抓取我用的是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

HBTC 2012 Hadoop与大数据技术大会演讲PPT资料

https://www.cnblogs.com/yun111/archive/2012/12/11/2812420.html...

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...
首页上一页...678910下一页尾页