So sánh chi phí của thao tác đã xác định và bằng chứng cho mối đe dọa đã xác định — không chỉ so sơ đồ cây với sơ đồ khóa người gửi.
Messaging Layer Security (MLS) và LGS1 của Livara không phải hai chứng nhận có thể thay thế cho nhau về độ an toàn của trò chuyện nhóm. MLS là tiêu chuẩn giao thức của IETF; LGS1 là thiết kế riêng cho sản phẩm Livara đã được mô tả trong tài liệu. So sánh công bằng nghĩa là tách biệt kiến trúc, bằng chứng về bản triển khai và hành vi mà người dùng thực sự trải nghiệm.
Khác biệt chính là trạng thái nhóm dùng chung dựa trên cây so với khóa người gửi được phân phối qua các phiên theo cặp. Chỉ riêng nhãn gọi nào cũng không cho biết một ứng dụng cụ thể có xử lý đúng thành viên bị xóa, thiết bị có trạng thái cũ hay khóa bị lộ hay không.
Khác biệt về kiến trúc
RFC 9420 quy định MLS để thiết lập khóa nhóm bất đồng bộ. Nó sử dụng cây ratchet và các kỳ của nhóm, với tính bí mật chuyển tiếp và bảo mật sau xâm nhập dưới những điều kiện đã nêu. Cấu trúc cây làm giảm một số chi phí cập nhật khóa khi quy mô nhóm tăng.
Tài liệu bảo mật của Livara mô tả LGS1 là chuỗi người gửi có chữ ký cho từng thành viên, được phân phối qua các phiên LVR1 theo cặp và luân chuyển khi thành viên thay đổi. Đây là tuyên bố về sản phẩm, không phải bằng chứng LGS1 tuân thủ MLS hoặc có cùng phân tích.
| Câu hỏi | MLS | Tài liệu Livara LGS1 |
|---|---|---|
| Cấu trúc dùng chung | Cây ratchet và các kỳ | Chuỗi cho từng người gửi |
| Cập nhật khóa | Thay đổi trạng thái nhóm được chốt vào kỳ mới | Khóa người gửi mới được phân phối cho thành viên |
| Trạng thái đặc tả | Tiêu chuẩn IETF, RFC9420 | Mô tả riêng cho sản phẩm đã công bố |
| Điều vẫn cần đánh giá | Tích hợp ứng dụng và bản triển khai | Đặc tả đầy đủ, bản triển khai và bằng chứng độc lập |
Bảng này mô tả các loại thiết kế. Đây không phải phép đo hiệu năng hay bảng xếp hạng bảo mật.
“Logarit” có nghĩa gì — và không có nghĩa gì?
Một cập nhật mật mã có thể dùng số lượng thành phần đường dẫn cây đã mã hóa tăng theo logarit mà không khiến toàn bộ công việc trong hệ thống có độ phức tạp logarit. Tin nhắn vẫn cần phân phối, máy khách vẫn giữ trạng thái, và hành vi phụ thuộc cấu trúc nhóm cùng các thao tác. So sánh cũ “MLS cần O(log N) tin nhắn trong khi mọi thứ ở LGS1 đều nhanh hơn” đã trộn lẫn các chi phí khác nhau mà không có số đo.
Kiến trúc MLS, RFC 9750, xem dịch vụ chuyển phát tách biệt với thiết lập khóa bằng mật mã. Tài liệu thảo luận việc phân phối tin nhắn và sắp thứ tự thay đổi nhóm. Sự tách biệt này quan trọng: tính toán phía máy khách, số byte trong thông điệp commit, tổng lưu lượng phân phối của máy chủ và lưu lượng kết nối lại là các chỉ số khác nhau.
Báo cáo hiệu năng có ý nghĩa cần nêu:
- quy mô nhóm và số thiết bị mỗi người;
- thao tác là tin nhắn bình thường, xóa thành viên, cập nhật khóa hay kết nối lại;
- số byte máy khách khởi tạo gửi so với tổng lưu lượng chuyển phát;
- thời gian đã trôi qua, mẫu thiết bị, phiên bản triển khai và điều kiện mạng;
- chi phí của cập nhật bị bỏ lỡ và thay đổi thành viên lặp lại.
Không có các chi tiết này, những tuyên bố về “mili giây”, “chi phí trạng thái thấp” hoặc ưu thế ở một quy mô nhóm cụ thể chưa được xác lập.
Xóa thành viên là phép kiểm tra vòng đời
Quản trị viên xóa tài khoản chỉ là một phần của câu chuyện bảo mật. Các máy khách phải thống nhất trạng thái thành viên mới, dùng khóa mới phù hợp và tránh cấp các khóa đó cho thiết bị đã bị loại. Người đã có bản rõ cũ hoặc khóa cũ có thể tiếp tục truy cập nội dung cũ; việc xóa không thể khiến các bản sao của họ biến mất.
Với cả hai hệ thống, phép thử hữu ích đặt câu hỏi: sau khi xóa hoàn tất, thiết bị bị xóa có giải mã được một tin nhắn kiểm thử mới, không nhạy cảm hay không? Thành viên từng ngoại tuyến có bắt kịp trạng thái một cách an toàn không? Tất cả thiết bị thuộc tài khoản có được xử lý không? Giao diện có hiển thị lỗi hoặc thay đổi thành viên không?
Đây là những câu hỏi đánh giá được đề xuất, không phải kết quả kiểm thử đã thực hiện trong bài này. So sánh sản phẩm nên công bố kết quả quan sát và phiên bản kiểm thử, thay vì coi thao tác nhấp thành công của quản trị viên tương đương với loại trừ bằng mật mã.
Bí mật chuyển tiếp và phục hồi bảo vệ có điều kiện
Giữ an toàn cho tin nhắn cũ sau khi bị xâm nhập về sau phụ thuộc việc ngừng sử dụng vật liệu bí mật cũ. Phục hồi bảo vệ cho tin nhắn tương lai phụ thuộc việc đưa vào bí mật mới sau khi kẻ tấn công mất quyền truy cập liên quan. Trong MLS, xử lý cập nhật nhóm là một phần của quá trình phục hồi; chỉ gửi cập nhật không đồng nghĩa mọi thành viên đã áp dụng nó. Xem các lưu ý bảo mật trong RFC 9420.
Với thiết kế khóa người gửi, hãy hỏi trạng thái bị lộ của mỗi người gửi được thay thế và phân phối lại như thế nào. Không nên mô tả riêng chuỗi một chiều là có thể tự động phục hồi trước kẻ tấn công biết trạng thái hiện tại của nó. Bảo vệ theo cặp dùng trong phân phối lại có liên quan, nhưng không thay thế phân tích đầy đủ ở cấp nhóm.
Tuyên bố hậu lượng tử cần bộ thuật toán mật mã và phạm vi cụ thể
Các bộ thuật toán mật mã được định nghĩa trong RFC9420 cơ sở dùng cơ chế khóa công khai cổ điển. MLS có thể mở rộng, nên tuyên bố về một bản triển khai cụ thể cần chỉ rõ bộ thuật toán và phần mở rộng thực tế, thay vì khẳng định mọi triển khai MLS mãi mãi là cổ điển.
Việc LGS1 được ghi nhận sử dụng phân phối LVR1 lai là tuyên bố khác với bảo đảm hậu lượng tử đã được phân tích độc lập cho mọi thao tác nhóm. FIPS 203 chuẩn hóa ML-KEM; nó không chứng nhận toàn bộ giao thức nhóm tích hợp ML-KEM. Hãy đánh giá cùng lúc xác thực, thay đổi thành viên, lộ khóa và bản triển khai, không chỉ tên KEM.
Cần yêu cầu gì trước khi chọn sản phẩm?
Yêu cầu đặc tả giao thức hiện hành, véc-tơ kiểm thử và đánh giá độc lập theo bản phát hành, bao gồm các phát hiện chưa được giải quyết. Sau đó so sánh yêu cầu sản phẩm thông thường: thiết bị được hỗ trợ, hành vi cập nhật, khôi phục, vai trò kiểm duyệt và dữ liệu máy chủ giữ lại.
Kiến trúc MLS xem xét rõ các dịch vụ ứng dụng và giả định tin cậy của chúng. Tương tự, nên đọc mô hình đe dọa của Livara cùng các tuyên bố về sản phẩm. Mã hóa không khiến người tham gia được cấp quyền trở nên đáng tin, không ngăn chụp màn hình và không xóa mọi dạng siêu dữ liệu.
Nếu thiếu bằng chứng, hãy ghi “chưa được xác lập” thay vì tự động coi thiết kế là không an toàn hoặc vượt trội. Quyết định nên phản ánh rủi ro của nhóm và chất lượng bằng chứng hiện có.
Câu hỏi thường gặp
LGS1 có phải là bản triển khai MLS không?
Các mô tả đã công bố cho thấy kiến trúc khác nhau. Bài này không xác định LGS1 là bản triển khai MLS hoặc tuyên bố có khả năng tương tác.
MLS có yêu cầu mọi thành viên cùng trực tuyến không?
Không. Sử dụng bất đồng bộ là một phần của thiết kế. Ứng dụng vẫn cần chính sách cho cập nhật chậm, trạng thái cũ và thành viên ngoại tuyến lâu ngày.
Phân phối khóa hậu lượng tử có giải quyết xong bảo mật nhóm không?
Không. Nó xử lý một phần của thiết lập khóa. Danh tính, thành viên, vòng đời khóa, bảo mật đầu cuối và bản triển khai vẫn cần bằng chứng.
Thiết kế nào nhanh hơn?
Bài này không có phép đo hiệu năng xác lập bên thắng. Hãy đo các thao tác và cách triển khai quan trọng với nhóm của bạn.
