Kiểm tra một tuyên bố về quyền riêng tư của VPN: giữ bằng chứng đứng vững
Viết tuyên bố, người quan sát và cách thiết lập trước khi xem kết quả. Một bài kiểm tra định tuyến cho thấy lối ra; nó không bao giờ cho thấy nhà vận hành lưu giữ những gì.
Bài kiểm tra bắt đầu bằng một câu mà ai đó muốn là đúng, và bằng chứng hoặc ủng hộ một phiên bản hẹp của câu đó hoặc không ủng hộ gì cả. Một lần kiểm tra địa chỉ công khai cho thấy một yêu cầu đã dùng lối ra nào. Nó không cho thấy nhà cung cấp lưu giữ gì, ai có thể đọc nó, hay điều gì xảy ra với một phiên không bao giờ hoàn tất. Thực hiện bài kiểm tra như một quy trình được ghi lại giúp bạn không tuyên bố nhiều hơn mức mà phép đo có thể mang.
Chọn một tuyên bố quan sát được
Viết tuyên bố thành một câu duy nhất có thể kiểm chứng trước khi mở bất kỳ công cụ nào: với hồ sơ này, trên mạng này, các yêu cầu tới tiếng vọng của một địa chỉ công khai đi ra qua lối ra đã công bố của nhà cung cấp. Câu đó nêu tên một chủ thể, một điều kiện và một quan sát, và đó là điều khiến nó có thể bị phủ định. Một tuyên bố như VPN bảo vệ quyền riêng tư không có hình thức quan sát được, nên không phép đo nào có thể giải quyết nó. Giữ một câu thứ hai cho những gì bài kiểm tra sẽ không bao phủ, vì việc lưu giữ, quyền truy cập của bên thứ ba và tương quan lưu lượng đều nằm ngoài một bài kiểm tra trên trình duyệt.
Viết câu thứ hai đó trước, không phải sau khi kết quả đến. Trung thực về phạm vi khi kết quả còn chưa biết thì dễ hơn nhiều so với sau khi một ảnh chụp màn hình trấn an đã vào phiếu. Một ghi chú phạm vi thêm vào sau đó có xu hướng mô tả kết quả hơn là câu hỏi.
Các sự kiện thiết lập mà người đọc cần để lặp lại phép đo
Cách thiết lập là thứ khiến một kết quả có thể tái tạo, và đó cũng là thứ người ta bỏ qua khi câu trả lời có vẻ tốt. Chuỗi phiên bản, tên hồ sơ, mạng truy cập và các họ địa chỉ thuộc về ghi chú, cùng với bất kỳ quy tắc chia đường hầm nào có thể đưa lưu lượng ra khỏi đường hầm. Nêu tên cả sự kiện đang được kiểm tra, vì một kết nối đang hoạt động, một lần rớt bất ngờ, một lần ngắt kết nối thủ công và một lần chuyển mạng áp dụng các quy tắc khác nhau. Một bài kiểm tra trộn các sự kiện đó chứng minh được rất ít về từng sự kiện.
Dùng lưu lượng không nhạy cảm trong một môi trường mà bạn được phép kiểm tra. Việc bắt các gói không liên quan khiến bản ghi trông có vẻ kỹ thuật và tăng mức phơi bày mà không thêm bằng chứng. Hướng việc bắt chỉ vào giao diện đường hầm, và đặt giới hạn kích thước tệp để một lần chạy dài không làm đầy đĩa. Dừng việc bắt trước khi thay đổi bất cứ điều gì, để tệp khớp với dòng thiết lập mà bạn đã viết.
Nói rõ đã đo cái gì và điều đó có nghĩa gì
Ghi lại công cụ đã in ra gì và công cụ có thể thấy gì. Câu trả lời của bộ phân giải, kết quả tiếng vọng địa chỉ và tra cứu tuyến trả lời những câu hỏi khác nhau, và một nhãn vị trí bên trong trang web là suy luận về cơ sở dữ liệu, không phải sự thật về lối ra. Viết lệnh đã tạo ra từng dòng bên cạnh dòng đó, vì một giá trị không có lệnh của nó thì không thể tái tạo. Giữ dấu thời gian trong cùng múi giờ với phiếu thay đổi, nếu không trình tự sẽ không đọc được sau một tuần.
curl -s https://icanhazip.com
curl -s https://ipinfo.io/ip; echo
resolvectl status --no-pager | head -15Hai dịch vụ tiếng vọng độc lập đồng ý thì mạnh hơn một, và sự bất đồng tự nó là một phát hiện đáng ghi lại. Đầu ra của bộ phân giải cho thấy DNS có đi theo đường hầm hay tiếp tục dùng mạng cục bộ, đây là một tuyên bố riêng so với địa chỉ lối ra. Lưu đầu ra thô kèm dấu thời gian, và giữ lại các kết quả trái ngược thay vì ảnh chụp màn hình trấn an nhất. Khi một thay đổi làm dịch chuyển kết quả, hãy áp dụng từng biến một, vì đổi cả máy chủ lẫn ứng dụng khách cùng lúc khiến bạn không thể nói cái nào có ý nghĩa.
Những gì thuộc về bản ghi, và những gì phải bị loại bỏ
Giữ phương pháp, đầu ra không bí mật và các giới hạn, rồi loại bỏ phần còn lại. Các hồ sơ mang thông tin đăng nhập, tên máy chủ riêng và mã định danh tài khoản không cần đi cùng bằng chứng, và một bản ghi kiểm tra làm rò rỉ chúng đã làm hỏng đúng thứ mà nó phải chứng minh. Năm trường bên dưới là dạng ngắn nhất mà vẫn sống sót qua một lần bàn giao.
| Field | What to write |
|---|---|
| Claim | One testable sentence naming the profile, the network and the observation |
| Observer and scope | Who could see the traffic or the record, and under which conditions |
| Setup | Client and server versions, profile name, access network, address families, split-tunnel rules, event under test |
| Raw result | Tool output with a timestamp, exit addresses from both echo services, resolver answer |
| What it does not support | Retention, third-party access, correlation, untested address families |
Đính kèm tuyên bố chính sách mà bạn đang so sánh, cùng ngày và phạm vi của nó. RFC 6973 đặt khung phân tích quyền riêng tư quanh những người quan sát được nêu tên và một phạm vi xác định, và khung đó phù hợp với một bản ghi kiểm tra: ai có thể quan sát cái gì, trong điều kiện nào và những phần nào vẫn chưa được xem xét.
Kết thúc bằng một đoạn nêu rõ bằng chứng ủng hộ điều gì và không ủng hộ điều gì. Đoạn đó là kết quả, và mọi thứ phía trên tồn tại để làm cho nó trung thực. Nếu không thể viết nó mà không làm nhẹ đi từng điều khoản, bài kiểm tra đã đo ít hơn những gì phiếu tuyên bố.