没有合适的资源?快使用搜索试试~ 我知道了~
miTLS:(镜像)miTLS 是经过验证的 TLS 协议参考实现
共249个文件
fs:80个
fsi:61个
fs7:50个
需积分: 12 0 下载量 198 浏览量
2021-07-06
08:07:41
上传
评论
收藏 4.57MB ZIP 举报
温馨提示
miTLS miTLS 是经过验证的参考实现。 我们的代码完全支持 RFC 中规定的有线格式、密码套件、会话和连接、重新握手和恢复、警报和错误以及数据碎片; 它与主流网络浏览器和服务器互操作。 同时,我们的代码经过精心构建,以实现从主要 API 到加密算法的计算假设的模块化、自动化验证。 我们的实现是用编写的,并在指定。 我们介绍了其主要组件的安全规范,例如记录层的经过身份验证的流加密和握手的密钥建立。 我们使用 F7 细化类型检查器描述了他们的验证。 为此,我们为 TLS 的每个加密原语和构造配备了一个新的类型化接口,以捕获其安全属性,并逐渐用理想的功能替换具体的实现。 我们最终对协议状态机进行类型检查,从而在实现和部署 TLS 时获得精确的安全定理。 我们还重温了经典攻击并报告了一些新攻击。 ! TLS TLS 可能是最常用的安全通信协议,它有 18 年的缺陷和修复历史,从协议
资源推荐
资源详情
资源评论
收起资源包目录
miTLS:(镜像)miTLS 是经过验证的 TLS 协议参考实现 (249个子文件)
AUTHORS 413B
dhparams-db.bin 12KB
CHANGELOG 1KB
Makefile.config 782B
App.config 174B
App.config 174B
App.config 174B
App.config 174B
OpenSSL.cs 23KB
OpenSSL.csproj 6KB
paket.dependencies 290B
distribution 7KB
libeay32-x64.dll 1.57MB
BouncyCastle.Crypto.dll 1.43MB
libeay32-x86.dll 1.12MB
SQLite.Interop.dll 906KB
SQLite.Interop.dll 669KB
System.Data.SQLite.dll 201KB
Python.Runtime.dll 104KB
Python.Runtime.dll 102KB
KEM.ec 85KB
paket.bootstrapper.exe 13KB
Handshake.fs 89KB
Dispatch.fs 48KB
TLSConstants.fs 35KB
HandshakeMessages.fs 24KB
TLSExtensions.fs 16KB
TLStream.fs 11KB
HttpServer.fs 11KB
Alert.fs 10KB
TLSInfo.fs 10KB
UntrustedCert.fs 10KB
Encode.fs 9KB
PRF.fs 9KB
ENC.fs 9KB
Cert.fs 8KB
OSSLCryptoProvider.fs 8KB
LHAE.fs 8KB
BCCryptoProvider.fs 8KB
EchoTest.fs 7KB
PwApp.fs 7KB
RPC.fs 7KB
UTLS.fs 6KB
Sig.fs 6KB
Program.fs 6KB
Bytes.fs 6KB
CoreSig.fs 6KB
CryptoProvider.fs 6KB
TLSFragment.fs 6KB
RSA.fs 6KB
CoreDH.fs 6KB
Range.fs 6KB
DB.fs 5KB
HttpCode.fs 5KB
EchoImpl.fs 5KB
TLS.fs 5KB
TLSPRF.fs 5KB
SessionDB.fs 5KB
HttpStreamReader.fs 4KB
HttpWSGI.fs 4KB
PwToken.fs 4KB
KEF.fs 4KB
Record.fs 4KB
AEAD_GCM.fs 4KB
CSPCryptoProvider.fs 4KB
DataStream.fs 3KB
Utils.fs 3KB
DH.fs 3KB
StatefulPlain.fs 3KB
MAC.fs 3KB
HttpHeaders.fs 3KB
DHDB.fs 3KB
AppFragment.fs 3KB
AppData.fs 3KB
DER.fs 2KB
HMAC.fs 2KB
PMS.fs 2KB
Tcp.fs 2KB
CoreACiphers.fs 2KB
CoreCiphers.fs 2KB
LHAEPlain.fs 2KB
Mime.fs 2KB
DHGroup.fs 2KB
StatefulLHAE.fs 2KB
HttpData.fs 2KB
HSFragment.fs 2KB
CoreHash.fs 1KB
TLSError.fs 1KB
CoreHMac.fs 1KB
MAC_SHA256.fs 1KB
MAC_SHA1.fs 1KB
RSAKey.fs 1KB
HttpLogger.fs 1KB
Nonce.fs 1KB
PwAppRun.fs 996B
HASH.fs 977B
List.fs 858B
Date.fs 774B
CoreKeys.fs 765B
Error.fs 748B
共 249 条
- 1
- 2
- 3
资源评论
Alysa其诗闻
- 粉丝: 26
- 资源: 4683
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 基于Shell和Python的大数据0408班级保险项目设计源码
- 基于Vue.js的JavaScript家教网HTML前端设计源码
- 基于C语言的redis0.1版本设计源码解析与解读
- 基于JavaScript的图书管理系统设计源码
- 基于Python语言的Struts2安全漏洞扫描工具设计源码
- 基于ESP8266和Wi-Fi的超声波测距继电器自动控制小电器设计源码
- 基于Kotlin的安卓终端App设计源码
- 基于Html与Java融合的flower-tms花卉售后系统设计源码
- 基于PyQt5和数据库的人脸识别考勤打卡系统设计源码
- 基于Vue和JavaScript的某省汽车票订票助手前端页面设计源码
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功