最快速的可满足性分析工具软件，曾经获得比赛的冠军，能够让学习者，学很多的编程技巧...

最快速的可满足性分析工具软件，曾经获得比赛的冠军，能够让学习者，学很多的编程技巧-The fastest satisfiability analysis tool software, has won the championship, will allow learners, learning a lot of programming skills

vb写的rsa加密算法-vb wrote rsa encryption algorithm

大连110指挥界面，用vc做的，但是的需要数据库支持，界面部分功能需要数据库支持-command interface using vc done, but the need for database support, the functional interface need database support

一个周期3的多表代替密码，第1个表由密钥字法产生（密钥字自拟），第2个表由洗牌法产生（注意，字母a~z与数字0~25一一对应），第三个表由公式法产生（数学公式自拟，注意它须是Z26上的一个一一变换）-a cycle of three multi-table instead of passwords, a table by key word method, (key word from the intended), Table No. 2 produced by shuffling method (note, a letter with a number of z ~ 0 ~ 25 he gathers), 3rd tables generated by the formula (from the proposed mathematical formula, it should pay attention to the Z26 is a transformation on January 1)

aes加密与des加密（包括三重des加密与cbc工作模式）-aes encryption and des encryption (including triple-des encryption and cbc mode)

这段代码适用于matlab的ECC加密。它包含ECC加密算法的所有必要活动；

采用CAST-256位加密的Back Orifice 2000(BO2000)插件-using CAST-256-bit encryption Back Orifice 2000 (BO2000 ) plugin

加密与解码――密码技术剖析与实战应用中的一个例子-encryption and decryption-- Password Technology Analysis and real application of an example

Base64的Decode和Encode-Encode and Decode

可以让你软件加密起来哈-can let you up encryption software Kazakhstan