English 
Tiếng ViệtHợp đồng discovery ổn định
C_GetSlotList, hành vi token-presence, slot label, serial number, xử lý event và quy tắc HA/failover được ghi nhận theo từng bản phát hành.
BỘ NHÀ CUNG CẤP MẬT MÃ PQC TIN CẬY
Nhà cung cấp PKCS#11
Hợp đồng Cryptoki được công bố, không phải tuyên bố middleware chung.
Thư viện native theo phiên bản cung cấp slot, session, object, thao tác khóa và cơ chế ký/KEM được quản trị cho ứng dụng doanh nghiệp, đồng thời giữ thực thi khóa riêng trong token, HSM, QSCD hoặc ranh giới ký từ xa được phê duyệt.
MÔ HÌNH CRYPTOKI
Slot, session, object và mechanism có hành vi rõ ràng.
Hợp đồng provider xác định tên file thư viện, ABI, phiên bản Cryptoki được hỗ trợ, quy tắc threading, tính ổn định của slot, phạm vi login, attribute object, mã mechanism và hành vi mã trả về. Mechanism PQC hoặc hybrid do nhà cung cấp định nghĩa không bao giờ được ngụ ý là có thể portable giữa các provider.
Ngữ nghĩa login được xác định
Session RO/RW, role User/SO, authentication theo ngữ cảnh, session pooling, timeout và PIN lockout được tài liệu hóa.
Attribute hồ sơ theo phiên bản
Mẫu CKO_PRIVATE_KEY, CKO_PUBLIC_KEY và CKO_CERTIFICATE định nghĩa CKA_ID, CKA_LABEL, sensitivity, extractability và thao tác được phép.
Ánh xạ thao tác đã công bố
Mechanism classical và hồ sơ ML-DSA/ML-KEM hoặc hybrid có kiểm soát của nhà cung cấp được gắn với header, cấu trúc tham số và bằng chứng chính xác.
MA TRẬN HÀM
Các hàm Cryptoki cốt lõi được mô tả trước khi tích hợp.
| Nhóm hàm | Hàm đại diện | Bằng chứng phiên bản |
|---|---|---|
| Initialization | C_GetFunctionList, C_Initialize, C_Finalize | Kiểm thử ABI/threading và vòng đời |
| Slot/token | C_GetSlotList, C_GetTokenInfo, C_WaitForSlotEvent | Hành vi ổn định của slot và khi rút token |
| Sessions/authentication | C_OpenSession, C_Login, C_Logout, C_CloseSession | Kiểm thử role, pooling, hết hạn và lockout |
| Object discovery | C_FindObjectsInit, C_FindObjects, C_GetAttributeValue | Visibility và attribute hồ sơ |
| Key vòng đời | C_GenerateKeyPair, C_DestroyObject, C_DeriveKey | Mechanism, policy và kết quả zeroization |
| Signature | C_SignInit, C_Sign, C_VerifyInit, C_Verify | Mechanism, encoding và test vector |
LUỒNG THAM CHIẾU
Trình tự tích hợp theo phiên bản.
Nạp thư viện được phê duyệt
Khớp nền tảng, ABI, phiên bản header và checksum thư viện.
Nhận diện slot và token
Xác định định danh slot ổn định, token presence và hành vi HA.
Mở session và xác thực
Áp dụng session RO/RW, vai trò User/SO hoặc đăng nhập theo ngữ cảnh.
Tìm object được bảo vệ
Tìm khóa/chứng thư theo attribute và quy tắc hiển thị được phê duyệt.
Thực thi mechanism
Chạy ký, xác minh hoặc KEM có kiểm soát với tham số chính xác.
Đóng và ghi bằng chứng
Kết thúc session, ghi mã trả về, trạng thái object và kiểm toán backend.
BỘ TÀI LIỆU LẬP TRÌNH
Tài liệu được tách theo đúng câu hỏi mà đội tích hợp cần giải đáp.
Hỗ trợ hàm
Công bố ABI Cryptoki, tên shared library, phiên bản header, cờ khởi tạo và hành vi function table cần thiết để nạp provider an toàn.
Mở ma trận hàm →Sổ đăng ký mechanism
Xác định mã mechanism chuẩn và theo hồ sơ nhà cung cấp, loại khóa, cấu trúc tham số, encoding và mức trưởng thành cho thao tác classical, PQC và hybrid.
Mở ma trận mechanism →Object và attribute
Đặc tả mẫu khóa riêng, khóa công khai và chứng thư gồm liên kết CKA_ID, sensitivity, extractability, mutability, persistence và quy tắc hiển thị.
Mở attribute hồ sơ →Session và xác thực
Mô tả session RO/RW, đăng nhập User/SO/theo ngữ cảnh, pooling, timeout, đa luồng, đa tiến trình và vô hiệu handle khi token bị tháo hoặc failover.
Mở mô hình auth →Mã trả về
Ánh xạ mã CKR tới nguyên nhân, khả năng retry, cách khắc phục, liên kết backend và kiểm toán mà không làm lộ PIN hoặc vật liệu khóa nhạy cảm.
Mở danh mục lỗi →Mã mẫu C có thể biên dịch
Bao gồm mã C và CMake minh họa cho khởi tạo, nhận diện slot, đăng nhập, tìm object, ký, xác minh, dọn dẹp và kiểm thử đường lỗi.
Xem mã mẫu →RANH GIỚI CÔNG BỐ
Giới hạn và ranh giới phiên bản
Các giới hạn này ngăn hồ sơ thí điểm bị hiểu thành tuyên bố hỗ trợ chung không có bằng chứng.
THÍ ĐIỂM CÓ KIỂM SOÁT
Khóa (freeze) thư viện, header, danh sách mechanism, backend và ứng dụng trước khi nghiệm thu.
Báo cáo nghiệm thu phải bao gồm hành vi multi-process/session, việc rút token, đường lỗi, tính bền vững của object và mã mechanism chính xác.