Đây là ứng dụng Linux có tên Cryptol, phiên bản mới nhất có thể tải xuống dưới dạng cryptol-3.3.0-windows-2019-X64-with-solvers.tar.gz. Ứng dụng có thể chạy trực tuyến trên 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 có tên Cryptol 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
tiền điện tử
MÔ TẢ
Cryptol là một ngôn ngữ chuyên ngành (DSL) dùng để chỉ định và xác minh các thuật toán mật mã. Được phát triển bởi Galois, Cryptol cung cấp cú pháp toán học cấp cao để mô tả các nguyên hàm mật mã và cho phép xác minh chính thức các thuộc tính của thuật toán. Nó được sử dụng trong các lĩnh vực học thuật, nghiên cứu và quốc phòng để xác thực tính chính xác và bảo mật thông qua thực thi tượng trưng và kiểm tra mô hình, đảm bảo mã mật mã quan trọng không có lỗi thiết kế.
Tính năng
- DSL được thiết kế riêng cho thiết kế thuật toán mật mã
- Xác minh chính thức thông qua thực thi tượng trưng
- Số học chính xác từng bit và khớp mẫu
- Môi trường REPL và kịch bản tương tác
- Tích hợp với các công cụ xác minh như SAW
- Hỗ trợ kiểm tra tính tương đương giữa thông số kỹ thuật và mã
Ngôn ngữ lập trình
Haskell
Danh Mục
Đây là một ứng dụng cũng có thể được tải xuống từ https://sourceforge.net/projects/cryptol.mirror/. Ứng dụng này được lưu trữ trên OnWorks để có thể chạy trực tuyến dễ dàng nhất từ một trong những Hệ điều hành miễn phí của chúng tôi.
