Bối cảnh CPS:

  - CPS là hệ thống tích hợp giữa thiết bị tính toán và môi trường vật lý, ví dụ: lưới điện thông minh, xe tự hành, thiết bị y tế

  - Kiểm soát phần mềm trong CPS là yếu tố sống còn để đảm bảo an toàn và vận hành đúng chức năng

Mâu thuẫn lợi ích:

  - Bên mua (stakeholder) muốn kiểm soát phần mềm để đảm bảo an toàn

  - Nhà sản xuất muốn bảo vệ IP, không tiết lộ chi tiết phần mềm

  - Cần giao thức công bằng để xác định trách nhiệm khi xảy ra rò rỉ phần mềm

Giao thức fingerprinting công bằng:

  - Dựa trên chuyển giao tri thức một phần và oblivious transfer

  - Nhà sản xuất tạo nhiều phiên bản phần mềm tương đương, mỗi bản có watermark khác nhau

  - Bên mua nhận một bản nhưng nhà sản xuất không biết bản nào được chuyển

  - Nếu xảy ra rò rỉ, có thể xác định bên chịu trách nhiệm mà không cần tiết lộ fingerprint

Các bước xác minh:

  - Sử dụng hash và chữ ký số để xác thực các phiên bản phần mềm

  - Dùng zero-knowledge proof để chứng minh quyền sở hữu mà không tiết lộ vị trí fingerprint

  - Fingerprint được mã hóa dưới dạng tích của hai số nguyên tố, một số có prefix là thông tin quyền sở hữu

Ứng dụng kỹ thuật logic:

  - Chuyển bài toán xác minh fingerprint thành bài toán SAT và 3-COLORING

  - Dùng mạch logic để mô phỏng phép nhân nhị phân và kiểm tra tính equicomposite

  - Áp dụng lý thuyết độ phức tạp và chứng minh không tiết lộ (zero-knowledge)

Hàm ý thực tiễn:

  - Giao thức giúp giải quyết tranh chấp IP mà không cần bên thứ ba đáng tin cậy

  - Bảo vệ quyền sở hữu phần mềm trong môi trường CPS mà vẫn đảm bảo kiểm soát an toàn

  - Có thể mở rộng sang các loại tài sản số khác như hình ảnh, âm thanh, văn bản