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

阅读更多

原文链接 数学基础 密码学是一个高度跨学科的领域，包含纯数学、计算机科学以及电子工程等多方面的知识。个人认为数学基础是最重要的，也是最不好修炼的一门内功。 《高等数学》---------->工程学高数是必修课 《线性代数》--------->线性代数的研究对象是方程组和矩阵，对密码学来说，可以进一步了解《矩阵论》的相关知识。 《概率论》----------->需要把后续课程，《信息论与编码》的知识也掌握。 《抽象代数》（又称近世代数）----------->个人认为这是这些数学基础课里面，最重要的一门课，掌握好其中的群、环、域、模的知识，对学习目前热门的公钥加密，数字签名，认证等知识大有裨益。 《数 …

阅读更多

Bristol大学的密码安全工作组为密码学和信息安全相关的博士准备了52个基本知识点，详细见该网站 密码学是一个高度跨学科的领域，包含纯数学、计算机科学以及电子工程等多方面的知识。考虑读研读博的学生专业知识背景不一，Bristol大学对这方面的知识点进行了一个全面的总结和覆盖。 52个知识点，Bristol大学推荐所有博一学生花一年的时间应该基本掌握，也就是差不多一个星期掌握一个知识点。掌握这些知识点后，对之后的课堂学习、项目执行、论文研读、科研协作、参加国际会议、与密码学者沟通会大有益处；要不然，可能一直处于懵懵懂懂的状态，荒废学业。 Computer Engineering ([E]) 计算机工程 1.What is the …

阅读更多

步骤： 1、本地生成密钥（公钥和私钥）： (1) 本地是 Windows 系统： 打开 XShell ，选择 Tool >> New User Key Wizard 密钥长度可以是1024或2048，导出公钥，假设文件名为： Ubuntu_59_rsa_2048.pub (2) 本地是 Linux 系统： ssh-keygen -t rsa -b 2048 #-b 参数指定长度 执行密钥生成命令，基本上是一路回车既可以了，但是需要注意的是：执行命令的过程中是会提示呢输入密钥的密码的，不需要密码直接回车。密钥生成后会在当前目录下产生两个文件：id_rsa和id_rsa.pub，其中id_rsa是私钥，id_rsa.pub是 …

阅读更多

本地主机是Windows，虚拟机是CentOS7，在CentOS7中配置 https 的步骤如下： 一、安装宝塔面板，配置站点 yum install -y wget && wget -O install.sh http://download.bt.cn/install/install.sh && sh install.sh 询问 Do you want to install Bt-Panel to the /www directory now?(y/n): 输入 y 等待安装完成 宝塔登录界面： 完成后的最后几行： 安装成功后会有登录链接账号以及密码； 在浏览器里打开链接输入账号密码登录； 登录成功后在首页会自动弹出环境类型选择； …

阅读更多

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

阅读更多

1、安装： 默认的 yum 源没有提供 pure-ftpd，需要先安装 epel 扩展源： yum install epel-release 然后使用 yum 命令安装Pure-ftpd： yum install pure-ftpd 2、配置： 配置文件位置： vim /etc/pure-ftpd/pure-ftpd.conf 配置参考： ChrootEveryone yes //锁定所有用户到家目录中 #TrustedGID 100 //信任组ID100，可以不锁定 MaxClientsNumber 50 //最大的客户端数量 MaxClientsPerIP 8 //同一个IP允许8个链接 DisplayDotFiles no …

阅读更多

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 …

阅读更多

PHP: class clsAES { private $key = ''; private $iv = ''; public function __construct($key, $iv) { $this->key = md5($key); $this->iv = $iv; } public function encrypt($data) { $cryptText = openssl_encrypt($data,"aes-256-cbc",$this->key ,OPENSSL_RAW_DATA,$this->iv); return base64_encode($cryptText); } public function …

阅读更多

PHP

阅读更多