2hYan9 - 博客园

2024年7月

摘要： Structure of Linux Kernel Device Driver ref. https://www.youtube.com/watch?v=XoYkHUnmpQo&list=LL&index=1&t=272s Device Drivers Def.: 设备驱动(Device Drive 阅读全文

posted @ 2024-07-15 17:44 2hYan9 阅读(28) 评论(0) 推荐(0) 编辑

Overview and Stream Cipher

摘要： Cryptography Course Notes notes from the open course provided by Stanford University: https://www.coursera.org/learn/crypto/home/module/1 Course Overv 阅读全文

posted @ 2024-07-08 14:27 2hYan9 阅读(5) 评论(0) 推荐(0) 编辑

2021年3月

关于对MD4差分碰撞攻击的理解

摘要：现在MD4算法已经被淘汰，现在广泛使用的hash函数主要是MD5和SHA1。但因为MD5和SHA1遵循MD4的设计思想，所以可以先理解对MD4的差分碰撞方法来理解对另外两种Hash函数的碰撞思想。 ###数字签名： Hash函数，又被称为散列函数，它的作用是将任意长度的报文压缩成一个128比特的散列阅读全文

posted @ 2021-03-26 13:09 2hYan9 阅读(1217) 评论(2) 推荐(0) 编辑

2020年10月

使用TP-Link模拟接入点常见问题

摘要： ###1.无线客户端应用程序显示请插入无线网卡问题原因，无限客户端应用程序的版本与无线网卡对应的版本不一致解决方法：前往TP-Link官方网站的下载中心下载无线网卡对应版本的客户端应用程序 ###2.无法启动SoftAP 问题原因：没有开启Internet Connect Shared服务模阅读全文

posted @ 2020-10-02 23:19 2hYan9 阅读(181) 评论(0) 推荐(0) 编辑

2020年5月

大素数的生成

摘要： ###强拟素数设n为正奇数，$b\in Z,b>1,s\in Z^+$，且$2s|(n-1)$，令$t=\frac{n-1}{2s}$，则$b^{n-1}-1=(b^{20t}-1)(b{20t}+1)(b{21t}+1)+\cdots+(b{2^{s-1}t}+1)$，因此若n为素数，则$b 阅读全文

posted @ 2020-05-05 23:03 2hYan9 阅读(815) 评论(0) 推荐(0) 编辑

2020年1月

密码学基础(九) - 公钥加密中的高等概念

摘要：陷门置换构造加密方案陷门置换(Trapdoor Permutation)是公钥加密体制中的一种抽象概念，在一些结构中，参数生成算法Gen输出一些附加信息$t$和I，从而实现$f_I$的有效求逆。称这些附加信息为陷门(trapdoor)，并将单向置换的族称为陷门置换的附加属性族。陷门的形阅读全文

posted @ 2020-01-07 01:54 2hYan9 阅读(1604) 评论(0) 推荐(1) 编辑

2019年12月

Coq基础(八) - Imp

摘要：除了能用Coq完成前面所介绍过的各种数学证明，还可以用Coq研究一些其他的事情。Coq中包含一种简单的命令式编程语言Imp，它包含了传统主流语言(如C和Java)的一小部分核心。下面是一个用Imp语言编写的一个熟悉的数学函数：而这里只是对Imp编程语言的语法和语义进行简单的介绍算术和布尔表达式阅读全文

posted @ 2019-12-28 00:25 2hYan9 阅读(703) 评论(0) 推荐(0) 编辑

Coq基础(七) - 递归定义的命题

摘要：递归命题在前面有介绍过几种说明自然数n是一个偶数的方法，比如： 1. evenb n = true，或者 2. exists k, n = double k 现在，可以通过一条递归的规则来判断一个整数n是否是偶数： + ev_0：数字0是偶数 + ev_SS：如果n是偶数，那么S(S n)也是偶数阅读全文

posted @ 2019-12-26 16:53 2hYan9 阅读(1005) 评论(0) 推荐(0) 编辑

Paillier加密方案

摘要： ###数论基础 Carmichael函数：$n\in Z^+,\forall a\in Z_n^+$，若能满足$a^x \equiv 1 (\mod n)$的最小x，记为λ(n)，称为Carmichael函数定理：$n\in Z^+$，设$n=n_1·n_2$，且$(n_1,n_2)$=1 阅读全文

posted @ 2019-12-26 00:06 2hYan9 阅读(1818) 评论(0) 推荐(1) 编辑

Coq基础(六) - Logic in Coq

摘要： Coq中的命题类型语句 Coq是一种类型化语言，这意味着它的世界中的每个合理表达式都有一个相关的类型。逻辑声明也不例外，任何一个可以证明的语句都有一个类型，即Prop，命题类型。可以使用check命令查看这个类型：需要注意的是，任何符合命题语法定义的语句都是Prop类型的，不论它们是否成立，关键阅读全文

posted @ 2019-12-23 23:47 2hYan9 阅读(779) 评论(0) 推荐(0) 编辑

公告