没有合适的资源?快使用搜索试试~ 我知道了~
java笔试题算法-cryptol:Cryptol:密码学语言
共1228个文件
cry:335个
icry:278个
stdout:276个
需积分: 10 0 下载量 51 浏览量
2021-06-03
01:42:03
上传
评论
收藏 28.74MB ZIP 举报
温馨提示
java笔试题算法 加密,版本 2 This version of Cryptol is (C) 2013-2020 Galois, Inc., and distributed under a standard, three-clause BSD license. Please see the file LICENSE, distributed with this software, for specific terms and conditions. 什么是加密货币? Cryptol 规范语言是由 Galois 为 NSA 高级网络安全研究实验室设计的,作为指定加密算法的公共标准。 Cryptol 参考规范可以作为加密模块的正式文档。 与当前的规范机制不同,Cryptol 是完全可执行的,允许设计人员随着设计的发展逐步试验他们的程序。 此版本是 Cryptol 语言版本 2 的解释器。 解释器包括一个:check命令,它针对随机生成的测试向量(以 风格)测试用 Cryptol 编写的谓词。 还有一个:prove命令,它调用 SMT 求解器,例如 Yices、Z3 或 CVC4,以证明
资源详情
资源评论
资源推荐
收起资源包目录
java笔试题算法-cryptol:Cryptol:密码学语言 (1228个子文件)
CryptolCover.ai 1.06MB
ProgrammingCryptolCover.ai 1.05MB
CryptolSmallCover.ai 1.04MB
make.bat 787B
makeglos.bat 59B
cryptol.bib 8KB
cryptol.cabal 11KB
cryptol-remote-api.cabal 3KB
cryptol-test-runner.cabal 729B
CHANGES 4KB
cabal.GHC-8.10.3.config 12KB
cabal.GHC-8.10.2.config 9KB
cabal.GHC-8.6.5.config 9KB
cabal.GHC-8.8.4.config 9KB
sha512-vectors-long.cry 12.83MB
sha384-vectors-long.cry 12.8MB
sha256-vectors-long.cry 3.23MB
sha224-vectors-long.cry 3.22MB
sha512-vectors-short.cry 322KB
sha384-vectors-short.cry 290KB
ECDSASigGen.cry 220KB
ECDSASigVerify.cry 209KB
aes-mct-ecb.cry 106KB
aes-vectors.cry 97KB
sha256-vectors-short.cry 97KB
sha224-vectors-short.cry 93KB
Blake2s.cry 34KB
Cryptol.cry 32KB
CAST5.cry 32KB
BigSequenceHex.cry 28KB
BigSequence.cry 19KB
AES_GCM_SIV_Test.cry 18KB
AES.cry 17KB
ECDSAKeyPair.cry 16KB
sha512-mct.cry 14KB
Salsa20.cry 13KB
ZUC.cry 11KB
instance.cry 11KB
sha384-mct.cry 11KB
MISTY1.cry 10KB
GCM_AES_Tests.cry 10KB
DEStest.cry 9KB
AES.cry 8KB
AES.cry 8KB
AES.cry 8KB
SuiteB.cry 7KB
sha256-mct.cry 7KB
malicious_SHA1.cry 7KB
sha224-mct.cry 7KB
Float.cry 6KB
PrimeEC.cry 6KB
DES.cry 5KB
Enigma.cry 5KB
FoxChickenCorn.cry 5KB
SHA256.cry 5KB
SHA.cry 4KB
SHA512.cry 4KB
NISTCurves.cry 4KB
marble.cry 4KB
SCrypt.cry 3KB
mkrand.cry 3KB
Karatsuba.cry 3KB
AES_GCM_SIV.cry 3KB
cry 3KB
GCM.cry 3KB
Keys.cry 3KB
EvenMansour.cry 3KB
CryptoBox.cry 2KB
rational_properties.cry 2KB
AE.cry 2KB
SHA.cry 2KB
A51.cry 2KB
bvdiv.cry 2KB
Base64.cry 2KB
mod_arith.cry 2KB
Algorithm.cry 2KB
HMAC.cry 2KB
NQueens.cry 1KB
primes.cry 1KB
Test.cry 1KB
ExpandKey.cry 1KB
PBKDF2.cry 1KB
Base58.cry 1KB
Reference.cry 1KB
bv.cry 1KB
r03.cry 1KB
Round.cry 1KB
Karatsuba.cry 1KB
GF28.cry 1KB
negshift.cry 1KB
RC4.cry 1KB
SHA256.cry 1KB
issue212.cry 1KB
poly.cry 1KB
builtin_lifting.cry 1KB
f2polytest.cry 1KB
Simple.cry 1KB
check09.cry 1KB
FloatTests.cry 1KB
cplxbroken.cry 1KB
共 1228 条
- 1
- 2
- 3
- 4
- 5
- 6
- 13
weixin_38712874
- 粉丝: 10
- 资源: 947
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- MyBatis动态SQL是一种强大的特性,它允许我们在SQL语句中根据条件动态地添加或删除某些部分,从而实现更加灵活和高效的数据
- MyBatis动态SQL是一种强大的特性,它允许我们在SQL语句中根据条件动态地添加或删除某些部分,从而实现更加灵活和高效的数据
- 【ERP标准流程-标准流程-进货管理】(DOC 17页).doc
- MyBatis动态SQL是一种强大的特性,它允许我们在SQL语句中根据条件动态地添加或删除某些部分,从而实现更加灵活和高效的数据
- MyBatis动态SQL是一种强大的特性,它允许我们在SQL语句中根据条件动态地添加或删除某些部分,从而实现更加灵活和高效的数据
- Java爬虫项目【项目开发计划】(共12页).docx
- 11111111111
- MyBatis动态SQL是一种强大的特性,它允许我们在SQL语句中根据条件动态地添加或删除某些部分,从而实现更加灵活和高效的数据
- MyBatis动态SQL是一种强大的特性,它允许我们在SQL语句中根据条件动态地添加或删除某些部分,从而实现更加灵活和高效的数据
- MyBatis动态SQL是一种强大的特性,它允许我们在SQL语句中根据条件动态地添加或删除某些部分,从而实现更加灵活和高效的数据
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0