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 từ chối hợp lý trong mã hóa là thuộc tính lưu trữ cho phép người dùng tiết lộ một tập dữ liệu mà không để lại thành phần cấu trúc chứng minh sự tồn tại của tập dữ liệu khác. Khiếu nại phải nêu tên mô hình mối đe dọa của nó: hình ảnh tĩnh của một cửa hàng được mã hóa được đệm đúng cách sẽ khác với một thiết bị đang hoạt động, bị xâm nhập, siêu dữ liệu dịch vụ đám mây hoặc các bản sao được lưu giữ ở nơi khác. Đây không chỉ là một tính năng ẩn. Nó phụ thuộc vào việc mã hóa, bố cục, phần đệm và thiết kế vận hành hoạt động cùng nhau.
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ữ hàng ngày, sự phủ nhận hợp lý có nghĩa là bạn có thể phủ nhận điều gì đó một cách đáng tin cậy. Trong mật mã lưu trữ, mục tiêu hữu ích hẹp hơn: người kiểm tra kho lưu trữ được mã hóa sẽ không thể phân biệt nội dung bị che giấu với không gian đệm chưa sử dụng trong mô hình mối đe dọa đã nêu. Không ứng dụng nào có thể mở rộng lời hứa đó đến một kho tiền đã mở, đầu vào được ghi lại, bản sao bên ngoài hoặc mọi hình thức xâm phạm thiết bị.
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:
Thông tin xác thực thay thế chỉ tiết lộ tập dữ liệu của riêng họ. Hệ thống không giữ cờ mồi nhử riêng để xác định một thông tin xác thực là ngụy trang. Thông tin xác thực không hợp lệ có thể không thành công, nhưng lỗi đó không được tiết lộ liệu tập dữ liệu không được tiết lộ có tồn tại hay không.
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ó |
| Che giấu bộ nhớ thay thế trong một hình ảnh tĩnh | Không | Có, trong mô hình mối đe dọa lưu trữ đã nêu |
| 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
Tại cửa khẩu biên giới, người kiểm tra có thể kiểm tra thiết bị và yêu cầu thông tin xác thực. Nếu một thiết kế thực sự cung cấp khả năng từ chối ở cấp độ lưu trữ, thì một thông tin xác thực có thể tiết lộ một tập dữ liệu vô hại trong khi hình ảnh tĩnh thiếu điểm đánh dấu cấu trúc để phân biệt nội dung bị ẩn với phần đệm. Bố cục một chỉ mục-tệp-mỗi-vault hiện tại của Vaultaire không cung cấp sự đảm bảo đó cho người kiểm tra có quyền truy cập vào vùng chứa ứng dụng.
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. Một kho lưu trữ có thể từ chối được đệm đúng cách nhằm mục đích che giấu số lượng tập dữ liệu chiếm giữ nhóm, mặc dù tổng phân bổ, trạng thái thiết bị, bản sao lưu và dấu vết hoạt động vẫn thuộc mô hình mối đe dọa. Vaultaire hiện đang mã hóa nội dung nhưng hiển thị một chỉ mục cục bộ có thể đếm được trên mỗi vault được định cấu hình.
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.
Vaultaire triển khai những gì hôm nay
Kho tiền triển khai quyền truy cập được phân tách bằng mẫu và giao diện bình thường không có danh sách vault hiển thị. Những thuộc tính đó hữu ích trong quá trình sử dụng ứng dụng thông thường nhưng chúng không đáp ứng mọi yêu cầu trong danh sách kiểm tra khả năng bị từ chối thực sự ở trên.
Các mẫu được định cấu hình sẽ mở các kho tiền được mã hóa riêng biệt. PBKDF2 lấy được khóa vault từ mẫu và muối trên toàn thiết bị. Khóa được định cấu hình sẽ xác thực chỉ mục được mã hóa của nó và mở khóa chính ngẫu nhiên. Mẫu chưa được định cấu hình hiển thị trạng thái trống thay vì thông báo "mẫu không chính xác".
Định dạng cục bộ là có thể đếm được. Vaultaire lưu trữ một vault_index_<fingerprint>.bin tập tin trên mỗi vault. Dấu vân tay không tiết lộ mẫu hoặc tên vault nhưng ai đó có quyền truy cập vùng chứa ứng dụng có thể đếm các tệp chỉ mục. AES-GCM xác thực và tên tệp xác định cũng cung cấp thử nghiệm ngoại tuyến cho các khóa vault ứng viên.
Bộ nhớ cục bộ không có kích thước cố định. Nội dung tệp và siêu dữ liệu được mã hóa, đồng thời các khối sao lưu đám mây sử dụng phần đệm kích thước và bản ghi giải mã. Vùng chứa ứng dụng cục bộ không đặt trước một nhóm cố định các vị trí kho tiền thực và giả, do đó tổng dung lượng lưu trữ và số lượng chỉ mục có thể làm lộ cấu trúc.
Trạng thái phục hồi và cưỡng bức tồn tại. Vaultaire lưu giữ thông tin khôi phục trong một AES-GCM được mã hóa Keychain cơ sở dữ liệu. Chế độ cưỡng bức xóa các chỉ mục cục bộ và ánh xạ khôi phục cho các kho không bị cưỡng bức và cách ly thiết bị đó khỏi quá trình đồng bộ hóa. Nó không xóa các bản sao lưu đám mây, bản sao trên các thiết bị ngang hàng hoặc mọi blob được mã hóa được chia sẻ và thời gian hoàn thành tùy thuộc vào công việc cục bộ được thực hiện.
Do đó, Vaultaire cung cấp khả năng phân chia giao diện và lưu trữ được mã hóa chứ không phải bằng chứng lý thuyết thông tin cho thấy không có kho tiền bổ sung nào tồn tại. Sẽ cần phải có một danh mục dung lượng cố định trong tương lai với các vị trí thực và giả không thể phân biệt được để ẩn số lượng vault cục bộ khỏi ảnh chụp nhanh vùng chứa ứng dụng ngoại tuyến.
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.
- Những dự đoán có thể được xác minh ngoại tuyến không? Bản mã được xác thực có thể xác thực khóa ứng viên mà không cần băm mật khẩu riêng. Hỏi xem giới hạn nào về chi phí đoán và liệu cách bố trí bộ lưu trữ có cung cấp dấu vân tay chìa khóa rẻ hơn hay không.
- 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?
Người kiểm tra lấy được bộ chứa ứng dụng của Vaultaire có thể phát hiện bộ nhớ và số lượng được mã hóa vault_index_*.bin tập tin. Các tập tin không tiết lộ tên vault hoặc nội dung văn bản gốc, nhưng số lượng của chúng tiết lộ số lượng chỉ mục được mã hóa cục bộ. Do đó, thiết kế hiện tại ẩn các vault khỏi hoạt động điều hướng thông thường chứ không phải khỏi mọi cuộc kiểm tra lưu trữ pháp y.
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?
AES-256-GCM cung cấp một ranh giới mã hóa nội dung mạnh mẽ khi các khóa, số không và cách triển khai đều hợp lý. Điều đó không làm cho người kiểm tra quốc gia có thể từ chối bố cục lưu trữ hiện tại của Vaultaire: số lượng chỉ mục cục bộ vẫn hiển thị và sự xâm phạm trực tiếp có thể nhắm mục tiêu các mẫu, khóa, bản xem trước hoặc xuất trong khi kho tiền đang mở. Tính năng hiện tại phân tách các mẫu khác nhau mở trong giao diện; nó không hứa hẹn rằng một người giám định kiên quyết không thể chứng minh được sự tồn tại của các chỉ số địa phương bổ sung.
Sự khác biệt giữa khả năng phủ nhận hợp lý và kho ẩn là gì?
Kho tiền ẩn là những kho tiền không hiển thị trong giao diện thông thường của ứng dụng. Khả năng từ chối mật mã mạnh mẽ là thuộc tính riêng biệt mà dữ liệu ẩn không thể phân biệt được với bộ nhớ đệm không được sử dụng. Vaultaire hiện cung cấp tài sản đầu tiên. Định dạng một chỉ mục-tệp-mỗi-vault của nó không cung cấp thông tin thứ hai chống lại người kiểm tra có quyền truy cập vào vùng chứa ứng dụng.
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?
Vaultaire ghi các bản kê khai sao lưu được mã hóa và đệm các đoạn tệp được mã hóa vào phần riêng tư của người dùng CloudKit cơ sở dữ liệu. Tên bản ghi ngẫu nhiên, loại bản ghi thống nhất, phần đệm đoạn 10 MB và bản ghi giả làm giảm việc tiết lộ nội dung trực tiếp. Số lượng bản ghi, tổng khối lượng, thời gian và kiểu cập nhật vẫn là siêu dữ liệu dịch vụ hiển thị, do đó, sao lưu đám mây không tạo ra một kho lưu trữ thông tin có kích thước không đổi, có thể bị từ chối về mặt lý thuyết.
Kết Luận
Khả năng từ chối lưu trữ mạnh mẽ nhằm mục đích ngăn người kiểm tra phân biệt dữ liệu bị che giấu với không gian trống được đệm trong một cửa hàng được mã hóa tĩnh. Hầu hết các ứng dụng yêu cầu tính năng này đều cung cấp các chế độ mồi nhử mang tính thẩm mỹ với các cờ cấu hình có thể phát hiện được. Việc đáp ứng định nghĩa mạnh hơn đòi hỏi một mô hình mối đe dọa chính xác, không có sổ đăng ký vault đếm được, không tiết lộ cờ cấu hình, phần đệm ổn định và các bản ghi được mã hóa không tiết lộ vị trí nào là thật.
Kho tiền sử dụng các mẫu đã định cấu hình để phân tách các kho tiền được mã hóa và giữ tên cũng như nội dung của kho tiền ngoài giao diện bị khóa. Bố cục lưu trữ hiện tại của nó vẫn hiển thị số lượng chỉ mục được mã hóa để kiểm tra vùng chứa ứng dụng. Hãy coi đó là sự che giấu ở cấp độ giao diện được hỗ trợ bởi mã hóa xác thực chứ không phải là bằng chứng cho thấy không có kho tiền bổ sung nào tồn tại.