一、简介 安全协议已广泛地应用到身份认证、接入控制、密钥分配、电子商务等多个领域，其安全性的需求也越来越迫切。自安全协议出现以来，人们一直对它进行分析设计研究。但由于安全协议总是运行在复杂的、不安全的网络环境中，许多攻击方法产 生的错误用人工检测很难识别，从而保证对协议安全性分析的准确性。 ProVerif 是 Bruno Blanchet 开发的基于Dolev-Yao模型的形式化自动验证密码学协议工具，是用 Prolog 语言实现的系统。它能够描述各种密码学原语，包括：共享密钥密码学和公钥密钥密码学 (加密和数字签名)，Hash 函数和 Deffie-Hellman密钥交换协议，并指定了重写规则和方程式， 输入语言为应用 PI 演 …

阅读更多

单体架构（Monolithic架构） 所有的功能打包在一个 包里，基本没有外部依赖（除了容器），部署在一个JEE容器（Tomcat，JBoss，WebLogic）里，包含了 DO/DAO，Service，UI等所有逻辑 优点： ①开发简单，集中式管理 ②基本不会重复开发 ③功能都在本地，没有分布式的管理和调用消耗 缺点： 1、效率低：开发都在同一个项目改代码，相互等待，冲突不断 2、维护难：代码功功能耦合在一起，新人不知道何从下手 3、不灵活：构建时间长，任何小修改都要重构整个项目，耗时 4、稳定性差：一个微小的问题，都可能导致整个应用挂掉 5、扩展性不够：无法满足高并发下的业务需求 常见的系统架构遵循的三个标准和业务驱动力： 1、 …

阅读更多

1. JSON Web Token是什么 JSON Web Token (JWT)是一个开放标准(RFC 7519)，它定义了一种紧凑的、自包含的方式，用于作为JSON对象在各方之间安全地传输信息。该信息可以被验证和信任，因为它是数字签名的。 简单的讲，JWT 是用于网络间传递声明而执行一种基于 JSON 的标准 官网：https://jwt.io/
2. 为什么使用 JWT？ （1） 跨域认证，单点登录 （2） API开发，前后端分离, 需要简单的对后台API进行保护 （3） 安全的信息交换（数字签名）
3. JWT的结构 JSON Web Token由三部分组成，它们之间用圆点(.)连接。这三部分分别是： Header …

阅读更多

frp 简介 frp 是一个可用于内网穿透的高性能的反向代理应用，支持 tcp, udp, http, https 协议 frp 的作用 利用处于内网或防火墙后的机器，对外网环境提供 http 或 https 服务。 对于 http, https 服务支持基于域名的虚拟主机，支持自定义域名绑定，使多个域名可以共用一个80端口。 利用处于内网或防火墙后的机器，对外网环境提供 tcp 和 udp 服务，例如在家里通过 ssh 访问处于公司内网环境内的主机。 架构 在具有公网IP的服务器或VPS上安装运行 frp 的服务端程序frps，并在处于内网的目标主机上面安装运行 frp 的客户端程序 frpc ，然后 User 就可以通过公网服务 …

阅读更多

Token 是在服务端产生的，如果前端使用用户名/密码向服务端请求认证，服务端认证成功，那么在服务端会返回 Token 给前端。前端可以在每次请求的时候带上 Token 证明自己的合法地位。 不久前，我在前后端分离实践中提到了基于 Token 的认证，现在我们稍稍深入一些。 通常情况下，我们在讨论某个技术的时候，都是从问题开始。那么第一个问题： 为什么要用 Token？ 要回答这个问题很简单，因为它能解决问题！ Token 能解决哪些问题呢？有如下几点： Token 完全由应用管理，所以它可以避开同源策略。 Token 可以避免 CSRF 攻击(http://dwz.cn/7joLzx)。 Token 可以是无状态的，可以在多个服务 …

阅读更多

【后量子时代密码系统的现状】 到2017年11月30日截止日期前，NIST共收到各种后量子时代公钥密码方案82项，其中59项有关秘钥分发/加密解密，23项有关身份认证/电子签名。这些方案分别来自美国16个州和世界六大洲共25个国家。表面上看方案来自五湖四海，但实际上仍为欧美囯家所把持。中国也提交了一个方案，但与量子密码通信技术完全无关。 在提交的八十多项方案中，有些方案明显受到较多的关注，这里就让几位明日之星先亮亮相，它们都是达到抗量子攻击所必需的安全级别为128位的公钥密码。 NTRUEncrypt：这是后量子密码算法中最受关注的一位，NTRU（发音“en-true”）基于阻格数学原理。它的好处主要是内存占用低和运行速度快。缺点是 …

阅读更多

首先，完成图形的绘制，流程图等（用Visio、亿图、word等）或者图表（Excel）。 然后在进行图片获得之前要确保以下几点： 1、安装Adobe Acrobat（专业版，不是阅读器），pdf编辑软件 2、将流程图等导出为 pdf 格式的文件 3、然后将上一步骤得到的pdf文件在Adobe Acrobat中打开，点击右侧“工具”中的“页面”中的“裁剪”功能进行裁剪形成只包含所绘图形的pdf格式的图片文件。 如果是Adobe Acrobat pro DC，则点击“编辑PDF”，选择顶部“裁剪页面”功能 选定双击后得到如下“设置页面框”页面，选择“裁剪框” ，确定后可得插入latex中不会失真的图像 4、找到 文件 >> …

阅读更多

开发方式对比：H5、React Native、Native应用对比分析 原文：http://uikoo9.com/blog/list Hybrid App（混合模式移动应用）是指介于web-app、native-app这两者之间的app，兼具“Native App良好用户交互体验的优势”和“Web App跨平台开发的优势”。 HPP hybirdApp或者hbuilderApp， 指通过html，css，js语言开发出ios和android两个版本的APP， 开发效率成倍上升，开发时间大幅缩减，开发成本同样也大大缩减。 移动互联网时代，还有多少中小公司没有自己的app，原因何在？ 1.中小公司有多少？ 这个都不需要引用相关数据，想想 …

阅读更多

Python 1、站在解决问题的角度上看。python依靠自身越来越强大的库，让编程者能实现越来越多，越来越复杂的问题。lua本身则必须与其它的编译语言结合，才能解决问题。以C+++lua来举例。单独的C++，因为C++的复杂性，在其解决问题提供方便的同时，也给程序员带来了很大的麻烦，这些麻烦主要有两个方面：1，C++本身，特别是能用好C++，对程序员就来说就是一个很高的要求。2,在解决复杂问题时，C++程序结构的复杂性和逻辑实现的复杂性，给程序员对程序的改进和维护带来了很大的麻烦。而C++与Lua的结合，让C++可以只负责为lua提供各种基本的功能函数库，而Lua调用这些库来实现各种逻辑功能。这种分工可以让程序员将程序中的基本代码 …

阅读更多

这里有一个合同交易的故事。 假设Bob和Alice在谈一桩生意。最后两人把价格谈好了，100万美元。Bob为Alice起草了一份合同，合同的内容就是Alice从Bob那里以100万美元的价格买下一件产品。 按照通常的程序，如果双方都同意一份合同有效，这份合同就会先用一个安全系数很高的hash函数映射到一串长度为n的二进制值（也就是说hash值的理论个数为2^n）。然后Alice和Bob对这个hash值进行数字签名(digital signature)。 一个hash函数的特点就是可以把任意长度的文档（或二进制串，以下直接称文档）映射到长度为n的二进制值，这种映射是多对一和单向的。安全性好的hash函数H应当具备以下三个特点： 给定任 …

阅读更多