Tiếng AnhTiếng PhápTiếng Tây Ban Nha

Biểu tượng yêu thích OnWorks

Tải xuống SDK mã hóa AWS cho Dafny cho Linux

Tải xuống miễn phí SDK mã hóa AWS cho ứng dụng Dafny Linux để chạy trực tuyến trên Ubuntu trực tuyến, Fedora trực tuyến hoặc Debian trực tuyến

Đây là ứng dụng Linux có tên AWS Encryption SDK dành cho Dafny, bản phát hành mới nhất có thể được tải xuống dưới dạng 4.0.0--2023-10-11sourcecode.zip. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks dành cho máy trạm.

Tải xuống và chạy trực tuyến ứng dụng này có tên AWS Encryption SDK dành cho Dafny với OnWorks miễn phí.

Làm theo các hướng dẫn sau để chạy ứng dụng này:

- 1. Đã tải ứng dụng này xuống PC của bạn.

- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.

- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.

- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.

- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.

- 6. Tải xuống ứng dụng, cài đặt và chạy nó.

MÀN HÌNH

Ad


SDK mã hóa AWS cho Dafny


MÔ TẢ

Để xây dựng, SDK mã hóa AWS yêu cầu phiên bản dafny cập nhật nhất trên PATH của bạn. Ngoài ra, dự án này sử dụng các tác vụ xác minh song song do plugin dafny.msbuild MSBuild cung cấp và do đó yêu cầu dotnet 3.0. Các thử nghiệm hiện yêu cầu triển khai nguyên gốc các nguyên thủy mã hóa và các phương pháp khác, vì vậy chúng chỉ có thể chạy khi nhúng thư viện này vào một trong các ngôn ngữ đích biên dịch được Dafny hỗ trợ. Kho lưu trữ này sử dụng Duvet để ghi lại trực tiếp thông số kỹ thuật cùng với quá trình triển khai này. Tham khảo thông số kỹ thuật về cách lắp chăn để tạo báo cáo. Theo mặc định, duvet_report sẽ chỉ trích xuất thông số kỹ thuật nếu nó không thể tìm thấy thư mục tuân thủ trong kho lưu trữ thông số kỹ thuật, nhưng sẽ sử dụng lại bản trích xuất trước đó nếu nó tồn tại.



Tính năng

  • Thư viện này được cấp phép theo Giấy phép Apache 2.0
  • Kho lưu trữ này sử dụng Duvet để ghi lại trực tiếp thông số kỹ thuật cùng với việc triển khai này
  • Theo mặc định, duvet_report sẽ chỉ trích xuất thông số kỹ thuật nếu nó không thể tìm thấy thư mục tuân thủ trong kho thông số kỹ thuật
  • Để xây dựng, SDK mã hóa AWS yêu cầu phiên bản dafny cập nhật nhất
  • Yêu cầu dotnet 3.0
  • Các thử nghiệm hiện yêu cầu triển khai nguyên gốc các mã gốc


Ngôn ngữ lập trình

C#


Danh Mục

Mật mã học

Đây là một ứng dụng cũng có thể được tải xuống từ https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ ​​một trong các Hệ điều hành miễn phí của chúng tôi.


Máy chủ & Máy trạm miễn phí

Tải xuống ứng dụng Windows & Linux

  • 1
    Strikr
    Strikr
    Dự án phần mềm miễn phí Strikr. Đồ tạo tác
    được phát hành theo một 'dựa trên mục đích'
    giấy phép kép: AGPLv3 (cộng đồng) và
    CC-BY-NC-ND 4.0 quốc tế
    (Quảng cáo)...
    Tải xuống Striker
  • 3
    QUÀ TẶNG
    QUÀ TẶNG
    giflib là một thư viện để đọc và
    viết hình ảnh gif. Đó là API và ABI
    tương thích với libungif trong
    sử dụng rộng rãi trong khi nén LZW
    thuật toán đã...
    Tải xuống GIFLIB
  • 4
    Alt-F
    Alt-F
    Alt-F cung cấp một mã nguồn mở và miễn phí
    chương trình cơ sở thay thế cho DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F có Samba và NFS;
    hỗ trợ ext2 / 3/4 ...
    Tải xuống Alt-F
  • 5
    chúng tôi
    chúng tôi
    Usm là một gói slackware thống nhất
    quản lý xử lý tự động
    giải quyết sự phụ thuộc. Nó thống nhất
    các kho lưu trữ gói khác nhau bao gồm
    slackware, slacky, p ...
    Tải về usm
  • 6
    Biểu đồ.js
    Biểu đồ.js
    Chart.js là một thư viện Javascript
    cho phép các nhà thiết kế và nhà phát triển vẽ
    tất cả các loại biểu đồ sử dụng HTML5
    phần tử canvas. Biểu đồ js cung cấp một điều tuyệt vời
    mảng ...
    Tải xuống Chart.js
  • Khác »

Lệnh Linux

Ad