Đây là ứng dụng Windows 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 bất kỳ trình giả lập trực tuyến OS OnWorks nào từ trang web này, nhưng trình giả lập trực tuyến Windows tốt hơn.
- 5. Từ Hệ điều hành Windows OnWorks 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 và cài đặt nó.
- 7. Tải xuống Wine từ kho phần mềm phân phối Linux của bạn. Sau khi cài đặt, bạn có thể nhấp đúp vào ứng dụng để chạy chúng với Wine. Bạn cũng có thể thử PlayOnLinux, một giao diện đẹp mắt trên Wine sẽ giúp bạn cài đặt các chương trình và trò chơi phổ biến của Windows.
Wine là một cách để chạy phần mềm Windows trên Linux, nhưng không cần Windows. Wine là một lớp tương thích Windows mã nguồn mở có thể chạy các chương trình Windows trực tiếp trên bất kỳ máy tính để bàn Linux nào. Về cơ bản, Wine đang cố gắng triển khai lại đủ Windows từ đầu để nó có thể chạy tất cả các ứng dụng Windows đó mà không thực sự cần đến Windows.
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.
