Chữ ký tuân thủ chính sách
Policy-Compliant Signatures.
Các tác giả giới thiệu chữ ký tuân thủ chính sách (PCS). Có thể sử dụng cơ chế PCS trong trường hợp cơ quan trung ương xác định chính sách toàn cầu và phân phối khóa công khai và khóa bí mật liên kết với các tập hợp thuộc tính cho người dùng trong hệ thống. Nếu hai người dùng, Alice và Bob, có các tập hợp thuộc tính cùng thỏa mãn chính sách toàn cầu, Alice có thể sử dụng khóa bí mật của mình và khóa công khai của Bob để ký một thông điệp. Tính không thể làm giả đảm bảo chữ ký hợp lệ chỉ có thể được tạo ra nếu khóa bí mật của Alice được biết và nếu chính sách được thỏa mãn. Quyền riêng tư đảm bảo khóa công khai và chữ ký được tạo ra không tiết lộ bất kỳ thông tin nào về thuộc tính của người dùng ngoài việc họ có thỏa mãn chính sách hay không. PCS mở rộng chức năng do các nguyên thủy hiện có cung cấp như chữ ký dựa trên thuộc tính và chữ ký dựa trên chính sách, không xem xét bên nhận được chỉ định và do đó không thể bao gồm các thuộc tính của bên nhận trong chính sách. Các tác giả mô tả các ứng dụng thực tế của PCS bao gồm kiểm soát các giao dịch trong hệ thống tài chính với các đảm bảo quyền riêng tư mạnh mẽ (tránh các thực thể đáng tin cậy bổ sung kiểm tra việc tuân thủ) cũng như là một công cụ để đàm phán về lòng tin. Các tác giả giới thiệu một khái niệm về quyền riêng tư dựa trên tính không thể phân biệt được cho PCS và trình bày một cơ chế tổng quát và mô đun dựa trên các khối xây dựng tiêu chuẩn như chữ ký, bằng chứng Zero-Knowledge không tương tác và cơ chế mã hóa vị từ (chỉ dựa trên vị từ). Các tác giả cho thấy có thể khởi tạo để có được một cơ chế hiệu quả có thể chứng minh được là an toàn theo các giả định ghép nối tiêu chuẩn cho nhiều chính sách khác nhau. Các tác giả tiếp tục mô hình hóa PCS trong UC bằng cách mô tả mục tiêu của PCS như một hàm chữ ký lý tưởng nâng cao tạo ra khái niệm bảo mật dựa trên mô phỏng cho PCS. Các tác giả cho thấy cơ chế tổng quát của họ đạt được khái niệm bảo mật có thể kết hợp này theo giả định bổ sung rằng cơ chế mã hóa vị từ cơ bản đáp ứng khái niệm ẩn thuộc tính dựa trên mô phỏng mạnh hơn, hoàn toàn thích ứng.