111122121
这家伙很懒，什么也没写
华师大信息安全密码学原理与实践冯登国部分作业求解源码
本人华师大研究生,曾鹏老师开设了密码学课程,期末作业基本都是课后作业,开卷考试,为应付考试,用python编写了这么一堆代码,解决各种密码问题,有些网上搜的,有些自己写的,主要是:移位密码、代换密码、仿射密码、维吉尼亚密码、希尔密码、RSA密码、Rabin、ELGammal等密码的加密解密、求密钥、
网络安全 47 0 ZIP 2021-01-28 14:01:27
nuXmv2.0.0win64.tar.gz
nuXmv是一种新的符号模型检查器,用于分析同步有限状态和有限状态系统。 nuXmv扩展NuSMV沿着两个主要方向: 对于有限状态的情况,nuXmv具有基于最先进的基于SAT的算法的强大验证引擎。 对于无限状态的情况,nuXmv具有基于SMT的验证技术,通过与数学5。 查看的完整列表特征由nuXmv
其它 8 0 GZ 2020-10-27 08:10:41
z34.8.4微软的一款开源约束求解器Win64
Z3 是一个微软出品的开源约束求解器,功能十分强大,尤其是运用于逆向的时候,进行约束求解十分快速。 文件内包含z3的lib和include文件
IT管理 11 0 ZIP 2020-10-14 02:10:16
z34.8.9x64win.zip
z3约束求解器4.9.8版本,win64位 关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases
其他 17 0 ZIP 2020-10-11 14:10:05
通过IDEA创建的SpringMVC框架实现了基本的响应查找和mysql查找操作适合初学者
c3pO链接地址池 Maven导包 数据库账号、密码、地址、表名记得去jdbc.properties里面改,数据库就一张User表,一行数据 不要小瞧只有35KB,正常使用的,我把输出tarGet和out删掉了,不然一堆包要很大的
虚拟化 12 0 ZIP 2020-08-30 02:08:06
微信小程序开发者工具WIN64
为帮助开发者更方便、更安全地开发和调试基于微信的网页，我们推出了web开发者工具。它是一个桌面应用，通过模拟微信客户端的表现，使得开发者可以使用这个工具方便地在PC或者Mac上进行开发和调试工作
其他 21 0 EXE 2019-09-10 03:09:33
EPMS8552S无线网卡Linux驱动
EP-MS8552S无线网卡在Linux系统上的驱动程序，EP-MS8552S的无线标准是IEEE802.11/B/G/N
嵌入式 18 0 RAR 2019-07-18 02:07:05