Đâ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
Đâ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.
