摘要： 算法导论 这个文档是学习“算法设计与分析”课程时做的笔记，文档中包含的内容包括课堂上的一些比较重要的知识、例题以及课后作业的题解。主要的参考资料是 Introduction to algorithms-3rd(Thomas H.)（对应的中文版《算法导论第三版》），除了这本书，还有的参考资料就是 A 阅读全文

摘要： 算法导论 这个文档是学习“算法设计与分析”课程时做的笔记，文档中包含的内容包括课堂上的一些比较重要的知识、例题以及课后作业的题解。主要的参考资料是 Introduction to algorithms-3rd(Thomas H.)（对应的中文版《算法导论第三版》），除了这本书，还有的参考资料就是 A 阅读全文

摘要： Structure of Linux Kernel Device Driver ref. https://www.youtube.com/watch?v=XoYkHUnmpQo&list=LL&index=1&t=272s Talk to the hardware 在操作系统中有几种机制能够让CPU 阅读全文

摘要： 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 阅读全文

摘要： Overview and Stream Cipher notes from the open course provided by Stanford University: https://www.coursera.org/learn/crypto/home/module/1 Course Over 阅读全文

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

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

摘要： ###强拟素数 设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 阅读全文

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

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