Vì Bộ sưu tập rác không mang tính quyết định, tại sao nó không được sử dụng để tạo số ngẫu nhiên an toàn?

Tôi hiểu rằng / dev / ngẫu nhiên là một nguồn entropy tốt và là thứ thường được sử dụng-- Giống như tôi đang đọc trên GC, ít nhất là trong Java, có vẻ như đã chấp nhận rằng trình nền bộ sưu tập rác thực thi không xác định . Nếu điều này là đúng, tại sao chúng ta không sử dụng thời gian của bộ sưu tập rác làm nguồn entropy thay vì biến / dev / ngẫu nhiên?

"Không xác định" và "ngẫu nhiên" là hai khái niệm hoàn toàn khác nhau.

Hoạt động chính xác của trình thu gom rác không được chỉ định và tùy thuộc vào trình thu gom rác (thường được thực hiện bởi một VM loại, nhưng không nhất thiết).

Do đó, bạn không có thời gian xác định (tức là xác định) mà tại đó rác sẽ được thu thập.

Tuy nhiên, bất kỳ triển khai cụ thể nào cũng sẽ tuân theo một số quy tắc và có khả năng cao là hai lần chạy tiếp theo của cùng một chương trình sẽ có các mẫu thu gom rác rất giống nhau.

Do đó, thực tế entropy được cung cấp bởi một nhà sưu tập rác sẽ rất thấp (và tìm ra mà phần bạn thực sự có thể sử dụng như entropy sẽ được khôn lanh).

Để so sánh: A HashMaptrong Java không đảm bảo bất kỳ thứ tự truy xuất nào cho các thành viên của nó (về cơ bản vì đảm bảo nó sẽ thêm một chi phí không đáng để trả, hầu hết thời gian). Tuy nhiên đối với một cho việc thực hiện và một cho bộ chèn / gỡ bỏ, bạn có thể chắc chắn tính toán thứ tự kết quả. Chỉ vì không có gì đảm bảo cho bất kỳ đơn hàng nào, không có nghĩa là đơn hàng đó là ngẫu nhiên.

Thứ nhất, chúng ta phải cẩn thận để không rơi vào cái bẫy của lý luận bằng cách thao túng các từ đơn thuần. Chẳng hạn, chúng ta có thể hỏi, vì NFA là "máy tự động hữu hạn không xác định", tại sao chúng ta không sử dụng nó để lấy số ngẫu nhiên? Trong trường hợp đó, đó sẽ là vì đó không phải là "không xác định" nghĩa là gì trong một NFA; trong thực tế, khi chúng ta mô phỏng một NFA, trên một đầu vào nhất định, hành vi của mô phỏng là hoàn toàn xác định.

"Xác định" là một cụm từ được tải. Đối với một lập trình viên máy tính hoặc nhà khoa học máy tính, hành vi không xác định chỉ có nghĩa là "xác định hành vi chính xác là phức tạp để suy nghĩ" và phụ thuộc vào quá nhiều yếu tố, bao gồm cả đầu vào chương trình.

Tuy nhiên, điều đó không có nghĩa là nó không mang tính quyết định đối với ai đó có động cơ tấn công một hệ thống mật mã. Đôi khi các yếu tố môi trường và đầu vào có thể được ghim xuống và các mẫu lặp lại xuất hiện từ hành vi "không xác định".