Khả Năng Phủ Nhận Hợp Lý Trong Ứng Dụng: Là Gì và Tại Sao Quan Trọng
Khả năng phủ nhận hợp lý có nghĩa là sự tồn tại của dữ liệu ẩn không thể được chứng minh.
Khả năng phủ nhận hợp lý trong mã hóa là thuộc tính cho phép người dùng phủ nhận đáng tin cậy sự tồn tại của một số dữ liệu mã hóa nhất định. Bộ nhớ mã hóa có vẻ chỉ chứa dữ liệu mà người dùng chọn tiết lộ. Nhà điều tra pháp y, bên cưỡng bức hoặc bất kỳ ai có quyền truy cập vật lý vào thiết bị không thể chứng minh rằng dữ liệu ẩn bổ sung tồn tại. Đây không phải là tính năng ẩn. Đây là thuộc tính toán học của chính sơ đồ mã hóa.
Hướng dẫn này giải thích cách khả năng phủ nhận hợp lý hoạt động trong ứng dụng, sự khác biệt giữa khả năng phủ nhận mật mã thực sự và chế độ giả mạo hình thức, các tình huống thực tế mà nó quan trọng và cách đánh giá các tuyên bố về khả năng phủ nhận.
Khả Năng Phủ Nhận Hợp Lý Có Nghĩa Là Gì Trong Mã Hóa
Trong ngôn ngữ thường ngày, khả năng phủ nhận hợp lý có nghĩa là bạn có thể phủ nhận đáng tin cậy điều gì đó. Trong mật mã học, nó có nghĩa là sự tồn tại của dữ liệu ẩn không thể được chứng minh, ngay cả bởi chuyên gia với thời gian không giới hạn và công cụ pháp y.
Khái niệm này bắt nguồn từ mã hóa đĩa. TrueCrypt (và người kế thừa VeraCrypt) tiên phong trong ổ đĩa ẩn: một ổ đĩa mã hóa trong một ổ đĩa mã hóa khác. Một mật khẩu hiển thị ổ đĩa ngoài với tệp vô hại. Mật khẩu khác hiển thị ổ đĩa ẩn bên trong với tệp nhạy cảm. Nhà điều tra pháp y không thể xác định liệu có ổ đĩa ẩn tồn tại hay không vì không gian chưa sử dụng trong ổ đĩa ngoài được lấp đầy bằng dữ liệu ngẫu nhiên không thể phân biệt với dữ liệu mã hóa.
Đối với ứng dụng, khả năng phủ nhận hợp lý có nghĩa là các thông tin xác thực khác nhau (mật khẩu, PIN, hình mẫu) mở ra các tập dữ liệu khác nhau, và không có siêu dữ liệu, sổ đăng ký, cờ cấu hình hay tạo vật cấu trúc nào tiết lộ sự tồn tại của các tập dữ liệu bổ sung.
Khả Năng Phủ Nhận Thực Sự vs. Chế Độ Giả Mạo Hình Thức
Đây là điểm phân biệt quan trọng mà hầu hết ứng dụng hiểu sai.
Chế Độ Giả Mạo Hình Thức (Không Phải Khả Năng Phủ Nhận Thực Sự)
Nhiều ứng dụng kho cung cấp tính năng "giả mạo" hoặc "PIN giả". Bạn đặt PIN thứ cấp mở ra không gian riêng biệt với ảnh khác nhau. Vấn đề: các ứng dụng này thường lưu cờ boolean, mục nhập cơ sở dữ liệu hoặc tệp cấu hình cho biết chế độ giả mạo tồn tại và được cấu hình.
Nhà điều tra pháp y hiểu ứng dụng có thể tìm thấy cờ này. Tìm thấy chế độ giả mạo được cấu hình chứng minh dữ liệu ẩn tồn tại. Khả năng phủ nhận là hình thức -- nó hoạt động chống lại kẻ tò mò bình thường nhưng thất bại dưới kiểm tra pháp y.
Dấu hiệu của khả năng phủ nhận hình thức:
- Ứng dụng có nút bật/tắt "chế độ giả mạo" trong cài đặt
- Tệp cấu hình lưu xem chế độ giả mạo có được bật không
- Bảng cơ sở dữ liệu liệt kê ID kho với chỉ số loại (chính/giả mạo)
- Cấu trúc lưu trữ của ứng dụng thay đổi khi chế độ giả mạo được bật
- Gỡ cài đặt và cài đặt lại ứng dụng tiết lộ hành vi khác nhau khi chế độ giả mạo được cấu hình
Khả Năng Phủ Nhận Mật Mã Thực Sự
Khả năng phủ nhận thực sự là thuộc tính kiến trúc, không phải nút tính năng. Bộ nhớ mã hóa phải được thiết kế sao cho:
Mọi thông tin xác thực mở ra tập dữ liệu hợp lệ. Không có lỗi "mật khẩu sai" cho thông tin xác thực mở kho ẩn. Bất kỳ tổ hợp hình mẫu/mật khẩu hợp lệ nào cũng tạo ra khóa giải mã được thứ gì đó.
Không có sổ đăng ký kho. Ứng dụng không thể liệt kê có bao nhiêu kho tồn tại. Không có số đếm, không có chỉ mục, không có danh sách ID kho. Nhà điều tra pháp y kiểm tra bộ nhớ của ứng dụng tìm thấy một nhóm dữ liệu mã hóa không phân biệt.
Không có cờ cấu hình tiết lộ kho ẩn. Không có boolean, không có mục nhập cơ sở dữ liệu, không có tệp ưu tiên nào cho biết có bao nhiêu kho tồn tại.
Bộ nhớ được đệm. Tổng dung lượng lưu trữ không thay đổi dựa trên số lượng kho hoặc tệp. Nếu không có đệm, nhà điều tra có thể ước tính số lượng kho từ tổng dữ liệu mã hóa so với nội dung hiển thị.
Dữ liệu mã hóa không thể phân biệt với nhiễu ngẫu nhiên. Không có ranh giới tệp, không có tiêu đề, không có dấu cấu trúc nào tiết lộ nơi dữ liệu của kho này kết thúc và kho khác bắt đầu.
| Thuộc tính | Giả mạo hình thức | Phủ nhận thực sự |
|---|---|---|
| Dữ liệu riêng biệt theo thông tin xác thực | Có | Có |
| Không có sổ đăng ký kho | Không (cơ sở dữ liệu theo dõi kho) | Có |
| Không có cờ cấu hình | Không (lưu nút bật giả mạo) | Có |
| Đệm lưu trữ | Hiếm khi | Có |
| Chịu được kiểm tra pháp y | Không | Có |
| Kiến trúc vs. tính năng | Nút tính năng | Thuộc tính kiến trúc |
Các Tình Huống Thực Tế Mà Điều Này Quan Trọng
Khả năng phủ nhận hợp lý không phải là mối quan tâm lý thuyết. Nó giải quyết các tình huống thực tế được ghi nhận, tái diễn.
Vượt Biên Giới
Ở Hoa Kỳ, Hải quan và Bảo vệ Biên giới có thể hợp pháp bắt buộc truy cập thiết bị tại biên giới. Tòa án đã phán quyết rằng nhân viên biên giới có thể yêu cầu mật khẩu để kiểm tra thiết bị. Trong tình huống này, người dùng với khả năng phủ nhận hợp lý thực sự có thể cung cấp hình mẫu/mật khẩu mở kho chứa nội dung vô hại. Nhà kiểm tra không thể chứng minh các kho khác tồn tại.
Lạm Dụng Gia Đình Và Mối Quan Hệ Cưỡng Bức
Ai đó trong mối quan hệ lạm dụng có thể cần lưu trữ bằng chứng (ảnh chấn thương, tin nhắn đe dọa, tài liệu pháp lý) trên thiết bị mà kẻ lạm dụng theo dõi. Nếu kẻ lạm dụng yêu cầu xem kho, người dùng có thể mở kho với nội dung không nhạy cảm. Nếu không có khả năng phủ nhận thực sự, cờ "chế độ giả mạo" trong cấu hình ứng dụng sẽ tiết lộ sự tồn tại của nội dung ẩn.
Trộm Cắp Thiết Bị
Kẻ trộm có kỹ năng kỹ thuật có thể cố gắng trích xuất dữ liệu từ điện thoại bị đánh cắp. Với khả năng phủ nhận thực sự, nhóm dữ liệu mã hóa không tiết lộ gì về số lượng kho, nội dung của chúng hay mục đích của chúng.
Bảo Vệ Pháp Lý Và Báo Chí
Nhà báo bảo vệ nguồn tin, luật sư bảo vệ tệp khách hàng và nhà hoạt động trong chế độ độc tài phải đối mặt với các tình huống nội dung thiết bị có thể bị bắt buộc. Khả năng phủ nhận thực sự cung cấp biện hộ đáng tin cậy chống lại thu giữ dữ liệu.
Cách Vaultaire Triển Khai Khả Năng Phủ Nhận Hợp Lý
Vaultaire đạt được khả năng phủ nhận mật mã thực sự thông qua thiết kế kiến trúc:
Mỗi hình mẫu mở kho khác nhau. Lưới 5x5 tạo ra khóa qua PBKDF2. Hình mẫu khác tạo ra khóa khác. Không có khóa chính, không có danh sách kho và không có cách nào để ứng dụng liệt kê kho hiện có. Vẽ hình mẫu không có kho liên kết chỉ đơn giản mở không gian kho trống -- không có lỗi "hình mẫu không đúng".
Không có sổ đăng ký kho. Ứng dụng không có cơ sở dữ liệu liệt kê kho, tên kho hay số lượng kho. Tất cả dữ liệu mã hóa tồn tại trong một nhóm lưu trữ không phân biệt duy nhất. Nhà điều tra pháp y với quyền truy cập không giới hạn vào hệ thống tệp thiết bị tìm thấy các khối mã hóa mà không có dấu cấu trúc cho biết ranh giới kho.
Đệm lưu trữ. Tổng dung lượng lưu trữ không đổi bất kể số lượng kho hay tệp, ngăn chặn phân tích sử dụng đĩa.
Không có cờ cấu hình. Không có tệp cài đặt, không có mục nhập ưu tiên và không có bản ghi cơ sở dữ liệu nào tiết lộ có bao nhiêu kho tồn tại hay liệu hình mẫu cụ thể nào có được sử dụng không.
Chế độ ép buộc. Người dùng có thể chỉ định một kho là kho ép buộc. Vẽ hình mẫu đó mở kho bình thường trong khi đồng thời và âm thầm phá hủy muối mật mã cho tất cả kho khác. Việc phá hủy là không thể đảo ngược, không để lại dấu vết pháp y và mất dưới một giây.
Cách Đánh Giá Tuyên Bố Về Khả Năng Phủ Nhận
Khi ứng dụng tuyên bố có khả năng phủ nhận hợp lý, hãy hỏi:
- Có nút bật/tắt "chế độ giả mạo" không? Nếu có, đó là hình thức. Nhà điều tra pháp y có thể tìm thấy nút bật.
- Ứng dụng có danh sách kho hoặc cơ sở dữ liệu không? Nếu có, sự tồn tại của kho có thể chứng minh được.
- Có lỗi "mật khẩu sai" không? Nếu có, ứng dụng có thể phân biệt giữa thông tin xác thực hợp lệ và không hợp lệ, có nghĩa là nó lưu thứ gì đó xác thực thông tin xác thực.
- Mức tiêu thụ lưu trữ có thay đổi theo số lượng kho không? Nếu có, phân tích đĩa có thể ước tính số lượng kho.
- Ứng dụng có thể liệt kê kho không? Nếu ứng dụng có thể hiển thị danh sách kho của bạn, danh sách đó tồn tại trên thiết bị và có thể khám phá được.
Câu Hỏi Thường Gặp
Khả năng phủ nhận hợp lý có hợp pháp không?
Sử dụng mã hóa với khả năng phủ nhận hợp lý là hợp pháp ở hầu hết các quốc gia dân chủ. Không có luật nào chống lại việc có dữ liệu mã hóa trên thiết bị mà sự tồn tại của nó không thể được chứng minh. Ở một số khu vực pháp lý (Anh theo RIPA, Úc theo Luật Hỗ Trợ và Truy Cập), cơ quan chức năng có thể bắt buộc tiết lộ khóa mã hóa. Câu hỏi pháp lý là liệu việc bắt buộc tiết lộ khóa cho dữ liệu mà sự tồn tại của nó không thể được chứng minh có thể thi hành được không. Đây vẫn là lĩnh vực pháp luật đang phát triển.
Công cụ pháp y có thể phát hiện khả năng phủ nhận hợp lý không?
Công cụ pháp y chuyên nghiệp (Cellebrite, GrayKey, Magnet AXIOM) có thể phát hiện rằng Vaultaire được cài đặt và dữ liệu mã hóa tồn tại. Họ không thể xác định có bao nhiêu kho tồn tại, chúng chứa gì, hay liệu có kho bổ sung nào tồn tại ngoài những kho được tiết lộ. Dữ liệu mã hóa không thể phân biệt với nhiễu ngẫu nhiên. Điều này được xác minh bằng thiết kế, không phải tuyên bố bằng chính sách.
Khả năng phủ nhận hợp lý có hiệu quả chống lại quốc gia kiên quyết không?
Chống lại phân tích mật mã (phá vỡ mã hóa): có. AES-256 không thể bị phá vỡ bởi bất kỳ khả năng quốc gia nào đã biết. Chống lại cưỡng bức (buộc bạn tiết lộ hình mẫu): khả năng phủ nhận hợp lý có nghĩa là bạn có thể tiết lộ một kho trong khi phủ nhận đáng tin cậy sự tồn tại của các kho khác. Chống lại khai thác thiết bị (sử dụng lỗ hổng zero-day để trích xuất dữ liệu từ thiết bị đang chạy): nếu thiết bị được mở khóa và kho đang mở, dữ liệu đã giải mã đang trong bộ nhớ và có thể truy cập về mặt lý thuyết. Khả năng phủ nhận hợp lý bảo vệ dữ liệu khi lưu trữ, không phải dữ liệu đang sử dụng.
Sự khác biệt giữa khả năng phủ nhận hợp lý và kho ẩn là gì?
Kho ẩn là kho không hiển thị trong giao diện ứng dụng. Khả năng phủ nhận hợp lý là thuộc tính mà sự tồn tại của kho ẩn không thể được chứng minh. Ứng dụng có thể có kho ẩn mà không có khả năng phủ nhận hợp lý (nếu sổ đăng ký kho hoặc cờ cấu hình tiết lộ chúng). Vaultaire cung cấp cả hai: kho được ẩn theo mặc định và sự tồn tại của chúng không thể chứng minh được theo thiết kế.
Tôi có thể sử dụng khả năng phủ nhận hợp lý với sao lưu đám mây không?
Trong Vaultaire, bản sao lưu iCloud mã hóa chứa toàn bộ nhóm lưu trữ mã hóa. Bản sao lưu là một đốm mã hóa duy nhất. Nó bảo tồn khả năng phủ nhận hợp lý vì bản sao lưu không chứa cấu trúc cấp kho -- đây là cùng nhóm mã hóa không phân biệt như lưu trữ trên thiết bị.
Kết Luận
Khả năng phủ nhận hợp lý trong mã hóa có nghĩa là sự tồn tại của dữ liệu ẩn không thể được chứng minh, ngay cả dưới kiểm tra pháp y. Hầu hết ứng dụng tuyên bố tính năng này cung cấp chế độ giả mạo hình thức với cờ cấu hình có thể khám phá. Khả năng phủ nhận thực sự yêu cầu không có sổ đăng ký kho, không có cờ cấu hình, đệm lưu trữ và dữ liệu mã hóa không thể phân biệt về mặt kiến trúc.
Vaultaire triển khai khả năng phủ nhận hợp lý thực sự như thuộc tính kiến trúc: mỗi hình mẫu mở kho khác nhau, không có danh sách kho, bộ nhớ được đệm và không có ứng dụng kho mã hóa nào khác làm điều này.