#toc

Formal Analysis of the TLS Handshake Protocol -----论文整理

1、关键词 TLS、SSL、FormalAnalsysis Conridentiality Secerecy2、Table THESSL/TLShandshakeProtocol 3、TLS的发展历史4、TLS1.2和TLS1.3的握手消息流的状态4、密码套件中包含的几...

Scyther-Semantics and verification of Security Protocol 翻译 (第二章 2.2.2----2.3)

2.2.2 事件顺序协议中的每个角色对应于事件列表,换句话说,在属于角色R的协议事件集上施加结构,总的排序表示为$prec$,如此任何角色R∈Role和$varepsilon1$,$varepsilon2$∈RoleEvent,这样Role($varepsilon1$)=R和role($v...

Scyther-Semantics and verification of Security Protocol

 1、本书前一节主要是介作者自己的生平经历(读完感觉作者是个神童),目标明确作者13岁代码已经写的很溜了。自己也开了网络公司,但是后面又专注于自己的计算机基础理论,修了哲学的博士学位(不得不说很多专业的交叉真的可以创造新的起点),但是任何领域的开辟都是来自自己不辞辛苦的决心和坚韧不拔的毅力。 &nb...

NSURLProtocol的总结

  NSURLProtocol是一个抽象类。NSURLProtocol是NSURLConnection的handler。  所有的通过NSURLConnection发出的请求都会走NSURLProtocol协议。UIWebView也是走NSURLProtocol。  NSURLProtocol通过+(BOOL)regi...
代码星球 代码星球·2020-04-06

OC Protocol 协议

一、概述协议就是委托(delegate)/代理,是指一个对象提供机会对另一个对象的变化做出反应或者影响另一个对象的行为。协议只能一个用途,就是为继承的类,声明出一堆方法的声明。基类遵守的协议,其派生类也要遵守其基类遵守的协议,也就是说父类的协议可以被子类继承。在OC中类不能多重继承,只能单继承,而协议却可以多继承。协议...
代码星球 代码星球·2020-04-06

LeetCode 122 Best Time to Buy and Sell Stock II(股票买入卖出的最佳时间 II)

话说你有一个数组,当中第i个元素表示第i天的股票价格。设计一个算法以找到最大利润。你能够尽可能多的进行交易(比如。多次买入卖出股票)。然而,你不能在同一时间来多次交易。(比如。你必须在下一次买入前卖出)。Sayyouhaveanarrayforwhichtheithelementisthepriceofagivenst...
代码星球 代码星球·2020-04-06

随机梯度下降 Stochastic gradient descent

  梯度下降法先随机给出参数的一组值,然后更新参数,使每次更新后的结构都能够让损失函数变小,最终达到最小即可。  在梯度下降法中,目标函数其实可以看做是参数的函数,因为给出了样本输入和输出值后,目标函数就只剩下参数部分了,这时可以把参数看做是自变量,则目标函数变成参数的函数了。&...

RPC(Remote Procedure Call Protocol)——远程过程调用协议 学习总结

  首先了解什么叫RPC,为什么要RPC,RPC是指远程过程调用,也就是说两台服务器A,B,一个应用部署在A服务器上,想要调用B服务器上应用提供的函数/方法,由于不在一个内存空间,不能直接调用,需要通过网络来表达调用的语义和传达调用的数据。比如说,一个方法可能是这样定义的:EmployeegetEm...

AutoCAD如何设置A0A1图纸

可以从网上下载相应的图纸模板,下载之后可以发现有相应的文字和模板文件 随后我们新建并找到这个dwt文件模板(比如要做一个A1的模板) 随后即可发现模板的样式,包括每种颜色的粗细,颜色和明细栏等等 去掉无用的东西之后保存就可以保存为需要的dwg格式,然后我我们就可以在这里面画图了 ...

AutoCAD如何将dwf转成dwg格式

dwf转成dwg怎么转,悬赏分:30-解决时间:2009-11-2210:19重金:dwf转成dwg怎么转,我是用在出图上的。最佳答案DesignWebFormat(DWF)文件。DWF文件是二维矢量文件,用户可使用这种格式在Web或Intranet网络上发布图形。任何用户均可以使用Autodesk®DesignRev...

AutoConfig工具使用指南

转载:http://blog.csdn.net/fighterandknight/article/details/7024590513.1. 需求分析13.1.1. 解决方案13.2. AutoConfig的设计13.2.1. 角色与职责13.2.2. 分享二进制目标文...
代码星球 代码星球·2020-04-05

autoconfig.xml与antx.properties一级application.properties之间的关系

Javaweb项目中一般都有配置文件,文件中包含一些配置信息供Java工程启动和运行时使用,这些常见的配置文件大都是一些以.properties后缀的文件,比如常见的antx.properties以及application.properties。当然也可以使用一些自动化配置工具,如autoConfig。那么这三者之间有...

maven 插件之 AutoConfig 工具使用笔记

AutoConfig是一款maven插件,主要用于Maven项目打包使用。在我们的工作中,会将自己写的代码打成jar包或者war包发布到各种环境上。一般地,不用的环境所使用的数据库、缓存的配置是不同的。我们完全可以手工修改不用环境的配置,当然这种做法是非常耗费精力的。好在,maven为我们提供了profile机制,但我...

学习makefile与autoconfig笔记,持续更新

 main.c#include<stdio.h>#include"chen_print.h"intmain(intargc,char*argv){chen_print("haha,I'mcomingmakefile");return0;}chen_print.c#include<stdio....

alibaba druid 在springboot start autoconfig 下的bug

标签(空格分隔):druidspringbootstartautoconfig背景发现、分析过程总结最近在使用alibabadruid进行多数据源连接的时候无意中发现一个小bug,已经提交githubissue官方已经fix。issue地址:https://github.com/alibaba/druid/issues...
首页上一页...7891011下一页尾页