欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cryptography
来自开放百科 - 灰狐
（版本间的差异）
小 (→图集) |
小 (→项目) |
||
| （未显示1个用户的1个中间版本） | |||
| 第9行： | 第9行： | ||
==项目== | ==项目== | ||
| + | [[文件:galois-logo.jpg|right|Galois, Inc.]] | ||
*[[Cryptol]] | *[[Cryptol]] | ||
*[[GnuTLS]] | *[[GnuTLS]] | ||
| 第31行： | 第32行： | ||
*《密码学原理与实践》（第三版）Cryptography Theory and Practice (Third Edition) | *《密码学原理与实践》（第三版）Cryptography Theory and Practice (Third Edition) | ||
*《Polynomials in the Nation's Service: Using Algebra to Design the Advanced Encryption Standard》 | *《Polynomials in the Nation's Service: Using Algebra to Design the Advanced Encryption Standard》 | ||
| + | |||
| + | ==课程== | ||
| + | *[https://crypto.stanford.edu/~dabo/courses/OnlineCrypto/ Online Cryptography Course] [https://www.coursera.org/learn/crypto Coursera 密码学课程] | ||
==图集== | ==图集== | ||
2022年11月23日 (三) 14:37的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Cryptography Thanks, Wikipedia. |
Cryptography，密码，加密。
目录 |
[编辑] 文档
[编辑] 项目
- Cryptol
- GnuTLS
- OpenSSL
- LibreSSL
- BoringSSL
- cryptlib
- crypto++
- Bouncy Castle
- Coq
- Proof assistant
- Themis cryptographic framework for data protection: secure messaging with forward secrecy and secure data storage. Has unified APIs across 14 platforms.
- BearSSL
- libsodium
- OWASP Mobile Security Testing Guide (MSTG)
- 比特币核心使用的密码库是libsecp256k1 这是由C语言实现的secp256k1椭圆曲线和其他相关的密码学类库。该算法是从零开发的，旨在替代OpenSSL。相比OpenSSL，其在性能和安全性方面都更胜一筹。
- Qt Cryptographic Architecture (QCA) Made by {[KDE]]
[编辑] 书籍
- 《数论概论》（第4版）A Friendly Introduction to Number Theory (Fourth Edition)
- 《Elliptic Curves》Second Edition, Dale Husemoller
- 《密码学原理与实践》（第三版）Cryptography Theory and Practice (Third Edition)
- 《Polynomials in the Nation's Service: Using Algebra to Design the Advanced Encryption Standard》
[编辑] 课程
[编辑] 图集
Themis
Themis架构
Soter
[编辑] 链接
分享您的观点
