111122121

backports3.11rc31.tar.bz2

Backport是将一个软件的补丁应用到比此补丁所对应的版本更老的版本的行为

华师大信息安全密码学原理与实践冯登国部分作业求解源码

本人华师大研究生,曾鹏老师开设了密码学课程,期末作业基本都是课后作业,开卷考试,为应付考试,用python编写了这么一堆代码,解决各种密码问题,有些网上搜的,有些自己写的,主要是:移位密码、代换密码、仿射密码、维吉尼亚密码、希尔密码、RSA密码、Rabin、ELGammal等密码的加密解密、求密钥、

nuXmv2.0.0win64.tar.gz

nuXmv是一种新的符号模型检查器,用于分析同步有限状态和有限状态系统。 nuXmv扩展NuSMV沿着两个主要方向: 对于有限状态的情况,nuXmv具有基于最先进的基于SAT的算法的强大验证引擎。 对于无限状态的情况,nuXmv具有基于SMT的验证技术,通过与数学5。 查看的完整列表特征由nuXmv

z34.8.4微软的一款开源约束求解器Win64

Z3 是一个微软出品的开源约束求解器,功能十分强大,尤其是运用于逆向的时候,进行约束求解十分快速。 文件内包含z3的lib和include文件

z34.8.9x64win.zip

z3约束求解器4.9.8版本,win64位 关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases

通过IDEA创建的SpringMVC框架实现了基本的响应查找和mysql查找操作适合初学者

c3pO链接地址池 Maven导包 数据库账号、密码、地址、表名记得去jdbc.properties里面改,数据库就一张User表,一行数据 不要小瞧只有35KB,正常使用的,我把输出tarGet和out删掉了,不然一堆包要很大的

Free TTF To WOFF Coverter

将TTF格式字体转换为WOFF格式，永久免费哦

微信小程序开发者工具WIN64

为帮助开发者更方便、更安全地开发和调试基于微信的网页，我们推出了web开发者工具。它是一个桌面应用，通过模拟微信客户端的表现，使得开发者可以使用这个工具方便地在PC或者Mac上进行开发和调试工作

EPMS8552S无线网卡Linux驱动

EP-MS8552S无线网卡在Linux系统上的驱动程序，EP-MS8552S的无线标准是IEEE802.11/B/G/N

beautifulsoup4_4.5.3.tar.gz

多用于网页抓取的python的第三方包