BearPipy的博客

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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();

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 (

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

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 ...