注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. ibm Enterprise Communications in the Era of Network Computing

  2. IBM SecureWay Host On-Demand 4.0: Enterprise Communications in the Era of Network Computing

  3. 所属分类：Java

    • 发布日期：2011-03-09
    • 文件大小：3145728
    • 提供者：yukito

  1. 珠穆朗玛峰-源码

  2. 珠穆朗玛峰项目 HTTPS生态系统的高效，经过验证的组件。 见！ everest剧本 该脚本的作用是： 检查您的开发环境是否正常； 获取miTLS，F *，KreMLin，Vale和HACL的已知良好修订 运行voodoo系列命令，这将导致成功构建 运行任何已知的有效测试。 对于开发人员，此脚本还允许您执行以下操作： 记录一组新的良好修订。 大量使用此脚本来提取，构建和测试项目珠穆朗玛峰。 预设（Windows） 该脚本要求您的系统上存在Visual Studio（特别是F＃和C

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：37888
    • 提供者：weixin_42122988

  1. hacl-star：Cherry选择了hacl-star C生成的代码-源码

  2. hacl-star：Cherry选择了hacl-star C生成的代码

  3. 所属分类：其它

    • 发布日期：2021-02-12
    • 文件大小：556032
    • 提供者：weixin_42109925

  1. hacl-star：HACL *，以F *编写的经过正式验证的密码库-源码

  2. 高度保证的密码库 该存储库包含经过验证的现代密码算法库代码，包括Curve25519，Ed25519，AES-GCM，Chacha20，Poly1305，SHA-2，SHA-3，HMAC和HKDF。 这套算法足以支持完整的NaCl API和多个TLS 1.3密码套件。 所有这些算法的代码都使用验证框架进行了正式验证，以实现内存安全性，功能正确性和秘密独立性（对某些类型的定时辅助通道有抵抗力）。 文档：有关该库和我们的验证方法的更多详细文档，可以在找到。 该存储库中的代码分为三个密切相关的子项

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：11534336
    • 提供者：weixin_42160424

  1. 计算机科学家发布不会被黑的加密代码

  2. （给Python开发者加星标，提升Python技能） 转自：solidot 程序员都是凡人，但数学则是不朽的。通过让编程变得更数学化，计算机科学家希望能消除向黑客敞开大门的编程错误。研究人员在 GitHub 上发布了加密工具 EverCrypt，向这个目标迈出了一大步。 https://github.com/project-everest/hacl-star 就像证明毕达哥拉斯定理难以，他们能证明 EverCrypt 可完全避开多种黑客攻击。 EverCrypt 没有采用常见的编程方

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：130048
    • 提供者：weixin_38629303

  1. monocypher-hacl:针对Monocypher和TIS-CI运行HACL * C代码-源码

  2. 针对Monocypher和TIS-CI检查HACL * C加密代码。 最新单机 HACL * v0.3.0（与c89兼容）

  3. 所属分类：其它

    • 发布日期：2021-03-30
    • 文件大小：152576
    • 提供者：weixin_42131424