Tính toàn vẹn tệp xuất Power Meter: Xác minh checksum và giới hạn

Kiểm tra xác minh checksum của tệp xuất Power Meter nhằm xác định xem tệp nhận có giống byte với bản sao tham chiếu đáng tin cậy hay không. Tính toán cùng một hàm băm đã được phê duyệt trên bản xuất gốc và tệp nhận, so sánh kết quả hoàn chỉnh, và lưu cả hai kết quả cùng với hồ sơ chuyển giao. Một kết quả khớp hỗ trợ tính toàn vẹn của tệp. Nó không chứng minh rằng các số liệu đọc là chính xác, rằng bản xuất hoàn chỉnh, hoặc rằng tham chiếu chính nó xuất phát từ hệ thống dự định. Những điều đó yêu cầu kiểm tra riêng về nguồn gốc, phạm vi, đơn vị, và ý nghĩa đo lường.

Tệp có thể được tạo ra bởi cổng, nhà sử dụng lịch sử, ứng dụng quản lý năng lượng, hoặc tiện ích thiết bị được hỗ trợ. Không giả định rằng đồng hồ bảng điều khiển tự tạo ra các tệp CSV hoặc tính toán checksum. Đối với cài đặt CNBYG, xác định chính xác thiết bị và phần mềm bên ngoài đã tạo ra bản xuất. Sau đó xây dựng quy trình chuyển giao dựa trên tệp thực tế, không phải ảnh chụp màn hình hoặc xem bảng tính có thể đã thay đổi nội dung.

Phân biệt danh tính tệp và tính hợp lệ của đo lường

Ba câu hỏi thường gây nhầm lẫn. Thứ nhất, người nhận có nhận đúng tệp do người gửi chọn không? Thứ hai, hệ thống dự định có tạo ra tệp đó không? Thứ ba, nội dung của nó có đại diện chính xác các phép đo cần thiết không? So sánh checksum giải quyết câu hỏi thứ nhất khi tham chiếu đáng tin cậy. Nó không thể tự trả lời hai câu hỏi còn lại.

Ví dụ, hai bản sao giống hệt của một bản xuất có thể đều bỏ qua giờ cuối cùng. Một tệp có thể giữ nguyên byte từng byte trong khi nhãn cột mô tả đơn vị sai. Một bản xuất cũ có thể có hàm băm hoàn toàn khớp. Giữ những phân biệt này rõ ràng trong hồ sơ chấp nhận để không báo cáo chuyển giao thành công là xác nhận kỹ thuật thành công.

The dòng sản phẩm BY194 cung cấp ngữ cảnh thiết bị. Xác minh các phép đo và liên lạc dựa trên biến thể cung cấp và tài liệu của nó. Quy trình xuất và băm bên ngoài không phải là tính năng của thiết bị đã được giả định. The hướng dẫn đo lường ba pha giúp xác lập phạm vi đo lường rộng hơn trước khi bất kỳ tệp nào được đánh giá.

Đóng băng bản xuất gốc trước khi so sánh

Chọn phạm vi thời gian, điểm, và cài đặt đầu ra phù hợp trong ứng dụng hỗ trợ. Ghi lại thời gian tạo bản xuất, phiên bản phần mềm, hệ thống nguồn, bộ lọc đã chọn, và tên tệp. Lưu kết quả ở vị trí đã được phê duyệt và tránh mở nó bằng phần mềm có thể tự động ghi đè nội dung. Nếu có thể, giữ nguyên bản gốc chỉ đọc và sử dụng bản sao riêng để phân tích.

Lưu bảng tính có thể thay đổi kết thúc dòng, trích dẫn, mã hóa ký tự, định dạng số, và trình bày ngày tháng. Những thay đổi đó có thể là biến đổi hợp lệ, nhưng chúng tạo ra một tệp khác. Nếu quy trình làm việc yêu cầu một phiên bản đã biến đổi, đặt tên riêng và tính toán checksum của nó sau khi biến đổi. Không mong đợi nó khớp với checksum của bản xuất gốc.

Ghi lại kích thước tệp như một quan sát bổ sung hữu ích. Kích thước bằng nhau không chứng minh nội dung bằng nhau, và kích thước khác nhau không giải thích nguyên nhân của sự thay đổi. Tuy nhiên, sự chênh lệch kích thước có thể nhanh chóng tiết lộ chuyển giao bị cắt ngắn hoặc tệp đính kèm bị chọn nhầm. Giữ kích thước, checksum, và siêu dữ liệu nguồn cùng nhau mà không coi bất kỳ trường nào là toàn bộ bài kiểm tra chấp nhận.

Sử dụng hàm băm đã được phê duyệt và tham chiếu đáng tin cậy

Hướng dẫn của Tiêu chuẩn hàm băm an toàn mô tả các thuật toán hàm băm an toàn đã được phê duyệt. Tổ chức nên chọn phương pháp phù hợp với yêu cầu và công cụ của mình. SHA-256 thường có sẵn để so sánh tệp, nhưng quy trình làm việc phải chỉ rõ thuật toán để người gửi và người nhận tính toán cùng loại digest.

Checksum được gửi qua cùng kênh không đáng tin cậy như tệp là bằng chứng yếu hơn về nguồn gốc so với tham chiếu lấy qua quy trình xác thực. Kẻ tấn công có thể thay thế cả hai để cung cấp một cặp phù hợp. Đối với quy trình làm việc yêu cầu độ tin cậy cao hơn, sử dụng danh sách xác thực hoặc chữ ký đã được tổ chức phê duyệt. Không mô tả một hàm băm không khóa thông thường như một chữ ký số hoặc bằng chứng về danh tính của người gửi.

Tính toán tham chiếu chỉ sau khi bản xuất gốc cuối cùng đã được đóng và lưu. Ghi lại tên tệp chính xác và toàn bộ digest. So sánh toàn bộ digest thay vì một phần tiền tố ngắn hiển thị. Nếu công cụ hiển thị dạng hex chữ hoa hoặc thường, theo phương pháp so sánh đã được ghi rõ; đừng nhầm lẫn kiểu hiển thị với thay đổi giá trị digest gốc.

Bảng này là một kế hoạch chấp nhận phân lớp, không phải là tuyên bố rằng mọi dự án đều cần cùng một cơ chế bảo mật. Phù hợp bằng chứng với hậu quả của việc nhận sai tệp tin.

So sánh tệp tin nhận được trước khi mở và lưu nó

Tại điểm nhận, lưu đối tượng đã chuyển giao mà không chỉnh sửa. Tính toán hàm băm của nó bằng thuật toán đã chỉ định và so sánh với tham chiếu đáng tin cậy. Ghi lại ai đã thực hiện kiểm tra và khi nào. Nếu một tệp lưu trữ đã được chuyển, phân biệt checksum của lưu trữ với checksum của các thành viên đã giải nén; chúng xác định các đối tượng khác nhau.

Các cổng email, cổng tài liệu và công cụ cộng tác có thể biến đổi một số loại tệp. Nếu xảy ra sự không phù hợp, đừng giả định rằng lỗi dữ liệu là lý do duy nhất. Kiểm tra xem người nhận đã tải xuống bản xem trước, bảng tính đã chuyển đổi, tệp đính kèm nén hoặc phiên bản khác hay chưa. Lặp lại quá trình chuyển qua tuyến đường đã được phê duyệt với tệp gốc được xác định rõ ràng.

Không ghi đè ngay tệp không phù hợp. Giữ nguyên nó nơi chính sách cho phép để có thể điều tra sự khác biệt. Nếu tệp chứa dữ liệu nhạy cảm, sử dụng lưu trữ hạn chế và tránh tải lên dịch vụ so sánh công cộng. Một trường hợp hỗ trợ nên bao gồm metadata liên quan và mẫu đã được làm sạch chỉ khi được phê duyệt.

Điều tra sự không phù hợp mà không phá hủy bằng chứng

Bắt đầu với lỗi chọn lựa: tên tệp, phiên bản, đường dẫn và cửa sổ xuất. Sau đó so sánh kích thước tệp và phương thức chuyển. Nếu cả hai bên vẫn còn bản sao của mình, tính toán lại hàm băm của các bản gốc không thay đổi. Điều này xác định xem sự không phù hợp đã được ghi nhận sai hay hai tệp thực sự khác nhau ở cấp byte.

Khi một phép biến đổi là cố ý, hãy ghi lại thay vì ép buộc phù hợp. Ví dụ, chuyển đổi một tệp phân cách bằng dấu phẩy thành tệp phân cách bằng dấu chấm phẩy thay đổi các byte ngay cả khi trình phân tích cú pháp tạo ra các bản ghi tương đương. The Hướng dẫn xác thực locale CSV đề cập đến cách hiểu số và ký tự phân cách. Nhận dạng tệp và sự tương đương của dữ liệu đã phân tích nên giữ các tuyên bố chấp nhận riêng biệt.

Nếu có sự thay đổi không rõ nguyên nhân, tạm giữ việc chấp nhận tệp và liên hệ chủ hệ thống. Việc xuất lại có thể phù hợp, nhưng cần giữ lý do và định danh xuất mới. Tránh lưu lại cùng một tệp trong các ứng dụng khác nhau nhiều lần cho đến khi xuất checksum thuận tiện xuất hiện. Điều này loại bỏ chuỗi bằng chứng mà không chứng minh điều gì về chuyển giao ban đầu.

Xác thực nội dung sau khi xác thực danh tính thành công

Phân tích tệp đã chấp nhận với cài đặt đã được tài liệu hóa và kiểm tra tiêu đề, số lượng ghi, phạm vi thời gian, đơn vị và thông tin chất lượng của nó. Xác nhận rằng các điểm đã chọn phù hợp với các bộ cấp nguồn hoặc tài sản dự định. Một khớp băm cho phép tin tưởng rằng cả hai bên đang thảo luận về cùng một đối tượng; nó không thay thế các kiểm tra nội dung này.

Sử dụng xem xét phân tích và ánh xạ điểm tổng thể và pha khi so sánh các phép đo liên quan. Một tệp có thể chứa mọi hàng mong đợi trong khi ánh xạ tổng thể đến nguồn sai. Tương tự, phân biệt giá trị đăng ký tích lũy với tiêu thụ theo khoảng thời gian trước khi tính toán sự khác biệt hoặc tổng cộng. Giữ nguyên các dấu hiệu thiếu dữ liệu thay vì chuyển đổi chúng một cách im lặng thành zero.

The Mô tả CSV RFC 4180 giải thích cấu trúc chung của CSV, bao gồm các bản ghi, trường, trích dẫn và tiêu đề tùy chọn. Nó mang tính thông tin và không xác định ý nghĩa kỹ thuật của các cột của bạn. Giữ nguyên từ điển dữ liệu đặc thù của nhà xuất khẩu và hợp đồng nhập khẩu cùng với bằng chứng chấp nhận tệp.

Giữ một bản kê khai mà người khác có thể sử dụng

Một bản kê khai thực tế xác định ứng dụng nguồn, yêu cầu xuất khẩu, thời gian và khu vực tạo, tên tệp, kích thước, thuật toán, toàn bộ băm, và người nhận dự định. Bao gồm phạm vi đo lường đã khai báo và phạm vi điểm như metadata thay vì giả vờ rằng băm mã hóa những thông tin đó. Bảo vệ bản kê khai và tệp thô theo mức độ nhạy cảm của chúng.

Nếu nhiều tệp tạo thành một bộ giao hàng, liệt kê từng tệp riêng biệt và ghi rõ bộ có đầy đủ hay không. Một băm cho một CSV không nói lên điều gì về tệp cấu hình bị thiếu hoặc từ điển mã chất lượng. Khi sử dụng ZIP, ghi lại danh tính kho lưu trữ và các thành viên dự kiến. Người nhận nên xác minh cả đối tượng đã chuyển và nội dung gói cần thiết.

Bài học sau của Computerphile giải thích về băm an toàn ở mức khái niệm. Nó giúp làm rõ lý do tại sao băm thay đổi khi bytes thay đổi. Đây không phải là một minh họa về tính năng xuất CNBYG, chứng nhận của một tiện ích cụ thể, hoặc thay thế phương pháp xác minh đã được tổ chức phê duyệt.

Xem bài học hướng dẫn

Làm cho tuyên bố chấp nhận cuối cùng chính xác

Báo cáo kết quả theo từng lớp: tệp đã nhận phù hợp với tham chiếu đáng tin cậy, các kiểm tra cấu trúc đã liệt kê đã qua, và đánh giá kỹ thuật đã bao gồm các điểm và khoảng thời gian đã chỉ định. Nếu nguồn gốc không được xác thực hoặc chỉ một mẫu đã được xem xét, hãy nói rõ. Điều này hữu ích hơn nhiều so với việc nói dữ liệu đã được xác minh mà không xác định rõ những gì đã được kiểm tra.

Giữ lại các so sánh thất bại và các hành động sửa chữa theo chính sách dự án. Kiểm tra lại danh tính sau bất kỳ biến đổi nào sau đó và sử dụng một định danh mới cho tệp kết quả. Trong quá trình mua hàng hoặc bàn giao, hỏi xem ứng dụng nào sở hữu việc tạo xuất khẩu, bên nào cung cấp bản kê khai tham chiếu, và ai chấp nhận ý nghĩa đo lường. Giao nhiệm vụ này giúp ngăn chặn nhà cung cấp, nhà tích hợp, và nhóm nhà máy giả định rằng người khác đã hoàn thành kiểm tra.

Các câu hỏi thường gặp

Một checksum phù hợp có chứng minh các số liệu đọc là chính xác không?

Không. Nó hỗ trợ danh tính ở cấp byte với tham chiếu đã chọn. Cả hai bản sao có thể chứa dữ liệu thiếu, lỗi thời, nhãn sai hoặc đọc sai tỷ lệ. Xác minh nguồn, phạm vi thời gian, ánh xạ, đơn vị và thông tin chất lượng riêng biệt.

Tại sao checksum lại thay đổi sau khi lưu trong bảng tính?

Ứng dụng có thể đã thay đổi mã hóa, kết thúc dòng, trích dẫn, định dạng ngày hoặc biểu diễn số. Giữ nguyên xuất ban đầu và xem bảng tính đã lưu như một tệp đã biến đổi riêng biệt với danh tính và hồ sơ xác thực của nó.

Tên tệp có đủ để xác định một bản xuất khẩu không?

Không. Một tên tệp có thể được sử dụng lại và không chứng minh danh tính nội dung. Ghi lại kích thước, toàn bộ băm, nguồn, thời gian tạo và phạm vi xuất khẩu. Giữ cho tham chiếu đáng tin cậy và so sánh toàn bộ băm bằng cùng một thuật toán.

Bộ đếm có cần tính checksum không?

Không. Một công cụ bên ngoài đã được phê duyệt có thể tính toán nó trên tệp đã xuất khẩu. Người xuất khẩu có thể là cổng hoặc nhà sử dụng dữ liệu lịch sử thay vì đồng hồ đo. Xác nhận hệ thống thực tế đã được cài đặt thay vì giả định một tệp hoặc hàm băm ở cấp thiết bị.