自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(22)
  • 收藏
  • 关注

原创 VirtualBox配置Ubuntu静态网络地址

关于VirtualBox虚拟机平台配置Ubuntu IP的步骤。

2023-03-11 19:14:28 1306

原创 密码学归约证明——一次性签名方案

针对Lamport的一次性签名方案的安全性作系统证明。

2023-01-01 12:54:51 786

原创 密码学归约证明——哈希签名范式的安全性

针对数字签名中哈希签名范式适应性选择消息攻击下存在性不可伪造作系统证明。

2023-01-01 12:08:32 328

原创 密码学归约证明——ElGamal加密方案的CPA安全性

对ElGamal公钥加密方案的安全性作系统证明。

2023-01-01 11:28:33 1256 1

原创 密码学归约证明——DH密钥交换协议在窃听者存在的情况下的安全性

对DH密钥交换协议的安全性作系统证明。

2022-12-31 21:28:06 617

原创 密码学归约证明——基于陷门置换簇的公钥加密

对基于TDP的1比特消息长度的公钥加密方案的CPA安全性做文字性证明。

2022-12-30 21:49:38 375

原创 密码学归约证明——计数器CTR模式

对CTR模式的CPA安全性归约证明进行文字表述。

2022-12-28 19:44:13 758

原创 密码学归约证明——基于伪随机函数的消息鉴别码方案

针对密码学中基于伪随机函数的适应性选择消息攻击下不可伪造的的定长消息鉴别码方案的安全性证明给出文字表述。

2022-12-23 17:38:40 361

原创 密码学归约证明——选择明文攻击下的不可区分性

​简要介绍选择明文攻击CPA条件下的不可区分加密,并给出针对CPA不可区分加密方案构造方案的归约证明。​

2022-09-14 21:43:00 3014

原创 密码学归约证明——定长对称加密密钥的敌手不可区分性

简要介绍“归约证明”的基本思想,并利用定长对称密钥加密方案的敌手不可区分性进行实践。

2022-09-03 21:23:10 1568

原创 软件构造——继承时的构造器

关于Java继承时构造方法处理的简要总结。

2022-06-11 22:41:18 119

原创 软件构造——泛型与类型擦除

关于泛型实现协变、逆变的简要总结。

2022-06-11 22:31:10 111

原创 软件构造——等价性

对于软件构造过程中等价性的简要概述。

2022-06-09 22:18:51 151

原创 软件构造——不可变

关于不变性、引用与对象以及防御式拷贝的一点总结。

2022-06-08 22:08:12 88

原创 软件构造——设计规约

关于软件构造过程中设计规约部分的总结。

2022-06-05 21:57:23 173

原创 软件构造——Git

简要介绍哈工大软件构造实验过程中需要的git知识和指令。

2022-05-29 16:11:01 171

原创 树作业-最近公共祖先

1. 题目要求寻找两个节点的最近公共祖先。2. 代码2.1 结构体和函数typedef struct tree{ int data; struct tree *lchild; struct tree *rchild;} TREE;TREE *CreateTree();TREE *Common(TREE *root, int p, int q);2.2 主函数void main(){ TREE *root=CreateTree();

2022-01-17 12:38:47 468

原创 树作业-完全二叉树

1. 题目要求给定输入的树,判断是否为完全二叉树。2. 代码2.1 队列typedef struct qu{ int front; int rear; T *array[MAXSIZE];} Q; //循环数组队列void InitQ (Q *qu); //初始化队列int EmptyQ (Q *qu); //判断队列是否空int FullQ (Q *qu); //判断队列是否满void EnQ (Q *qu, T *pd); //入队T *DeQ (

2022-01-14 15:13:13 105

原创 线性表大作业-链表维护

1. 写在前面大部分的函数其实都是差不多的,题目和大一C语言大作业差不多,代码不是源代码。2. 题目要求作业:链表的维护与文件形式的保存要求1)用链表结构的有序表表示某商场家电的库存模型;2)当有提货或进货时需要对该链表进行维护;3)每个工作日结束之后,将该链表中的数据以文件形式保存,每日开始营业之前,需将以文件形式保存的数据恢复成链表结构的有序表。4)链表结点的数据域包括家电名称、品牌、单价和数量,以单价的升序体现链表的有序性。5)程序功能包括:创建表、营业开始(读入...

2022-01-11 16:41:46 1043 1

原创 线性表作业-三栈共享

1. 写在前面代码不能直接用。2. 题目要求使用游标形式使得三栈共享。用一维数组A[m]存储空间建立三个栈,其中前三个单元的next存放三个栈顶的指针,第四个单元起共享。从键盘输入n个整数按下列条件进栈:(1)t<80进1栈(2)80=<t<=100进2栈(3)t>100进3栈3. 代码3.1 结构体和函数声明//#define MAXtypedef struct node{ int data; int ...

2022-01-09 18:47:30 446

原创 线性表作业-字符串

1. 写在前面这里的代码不是源代码。2. 题目要求给定字符串用数组链表表示,每个链表节点有4个字符的空间。求:Index():确定模式串在第几块的第几个位置;Substr(m,n):求从m位开始n长度的字符串。3. 代码3.1 结构体以及函数声明//用#表示空元素typedef struct node{ char data[4]; struct node *next;} Node;Node *Create(Node *head, char str[], in

2022-01-08 18:21:01 374

原创 绪论作业-K逆置

1. 写在前面当时绪论作业有三个,但是只留存了一个,剩下的两个删了。数据结构绪论作业是比较简单的,并且不会计入总成绩,所以放心大胆写。2. 题目要求将数组按输入的数字K来进行逆置,最后剩余的个数不满K的数字不做变换。例如:1,2,3,4,5,6,7,8,9,0按2逆置为:2,1,4,3,6,5,8,7,0,9;按3逆置为:3,2,1,6,5,4,9,8,7,0。3. 代码#include <stdio.h>#include <stdlib.h>typede

2022-01-04 18:45:52 552

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除