- 博客(7)
- 收藏
- 关注
原创 1 out of n 不经意传输协议 的 基本理解
首先,发送方A在不知道确切索引值的情况下肯定无法确定地发送单一秘密给接收方B,这是“要求2”要求的,所以,我们思考,是否可以让A把所有的秘密发送给B,但这又违背了“要求1”。在本事件中,接收方B是最终得到秘密s_i的人,所以B一定执行解密操作,但是B不知道s_i,所以执行加密操作的应该是发送方A。之后,A依次对应,执行解密,将解密后的信息发送给B(只有序列号为i的位置可以得到正确解密结果)。综上,如果随机选择一个对称密钥k_i,那么拥有此密钥的人就可以使用此密钥加密或解密秘密s_i。
2024-04-03 19:45:31
395
1
原创 云计算 #笔记
云计算是旨在利用网络以便利,按需付费的方式获取计算资源并提高可用性的一种模式,资源来自于可配置的,共享的资源池,以不费人力的方式获取和释放资源。
2024-01-15 16:54:51
389
原创 密码协议形式化分析与可证明安全实验——Cricom实验
环境:WIN10 x64criom是基于Rust开发的,因此主机需要配有Rust环境。snarkjs需要node环境。
2024-01-12 20:38:17
1173
3
原创 密码协议形式化分析与可证明安全实验一——ProVerif实验
环境:win10 x64Windows 用户使用二进制发行版安装 ProVerif。选择任意一个地址创建ProVerif文件夹。后续所有安装程序压缩包均解压至该文件夹下。在此,本作者选择在D盘创建ProVerif文件夹,即D:\ProVerif。
2024-01-11 21:01:13
1120
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人