pkcs11-driver 1.0.1 (latest)

Parameters

module X : LOW_LEVEL_BINDINGS

Signature

val c_Initialize : Nss_initialize_arg.t option -> CK_RV.t

val c_Finalize : unit -> CK_RV.t

val c_GetInfo : unit -> CK_RV.t * P11_info.t

val c_GetSlotList : bool -> Slot_list.t -> CK_RV.t

val c_GetSlotInfo : slot:CK_SLOT_ID.t -> CK_RV.t * P11_slot_info.t

val c_GetTokenInfo : slot:CK_SLOT_ID.t -> CK_RV.t * P11_token_info.t

val c_GetMechanismList : slot:CK_SLOT_ID.t -> Mechanism_list.t -> CK_RV.t

val c_GetMechanismInfo : 
  slot:CK_SLOT_ID.t ->
  CK_MECHANISM_TYPE.t ->
  CK_RV.t * P11_mechanism_info.t

val c_InitToken : slot:CK_SLOT_ID.t -> pin:string -> label:string -> CK_RV.t

val c_InitPIN : CK_SESSION_HANDLE.t -> string -> CK_RV.t

val c_SetPIN : CK_SESSION_HANDLE.t -> oldpin:string -> newpin:string -> CK_RV.t

val c_OpenSession : 
  slot:CK_SLOT_ID.t ->
  flags:CK_FLAGS.t ->
  CK_RV.t * CK_SESSION_HANDLE.t

val c_CloseSession : CK_SESSION_HANDLE.t -> CK_RV.t

val c_CloseAllSessions : slot:CK_SLOT_ID.t -> CK_RV.t

val c_GetSessionInfo : CK_SESSION_HANDLE.t -> CK_RV.t * P11_session_info.t

val c_Login : CK_SESSION_HANDLE.t -> CK_USER_TYPE.t -> string -> CK_RV.t

val c_Logout : CK_SESSION_HANDLE.t -> CK_RV.t

val c_CreateObject : 
  CK_SESSION_HANDLE.t ->
  Template.t ->
  CK_RV.t * CK_OBJECT_HANDLE.t

val c_CopyObject : 
  CK_SESSION_HANDLE.t ->
  CK_OBJECT_HANDLE.t ->
  Template.t ->
  CK_RV.t * CK_OBJECT_HANDLE.t

val c_DestroyObject : CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_RV.t

val c_GetAttributeValue : 
  CK_SESSION_HANDLE.t ->
  CK_OBJECT_HANDLE.t ->
  Template.t ->
  CK_RV.t

val c_SetAttributeValue : 
  CK_SESSION_HANDLE.t ->
  CK_OBJECT_HANDLE.t ->
  Template.t ->
  CK_RV.t

val c_FindObjectsInit : CK_SESSION_HANDLE.t -> Template.t -> CK_RV.t

val c_FindObjects : 
  CK_SESSION_HANDLE.t ->
  max_size:int ->
  CK_RV.t * CK_OBJECT_HANDLE.t list

val c_FindObjectsFinal : CK_SESSION_HANDLE.t -> CK_RV.t

val c_EncryptInit : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  CK_OBJECT_HANDLE.t ->
  CK_RV.t

val c_Encrypt : CK_SESSION_HANDLE.t -> src:Data.t -> tgt:Data.t -> CK_RV.t

val c_EncryptUpdate : CK_SESSION_HANDLE.t -> Data.t -> Data.t -> CK_RV.t

val c_EncryptFinal : CK_SESSION_HANDLE.t -> Data.t -> CK_RV.t

val c_DecryptInit : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  CK_OBJECT_HANDLE.t ->
  CK_RV.t

val c_Decrypt : CK_SESSION_HANDLE.t -> src:Data.t -> tgt:Data.t -> CK_RV.t

val c_DecryptUpdate : CK_SESSION_HANDLE.t -> Data.t -> Data.t -> CK_RV.t

val c_DecryptFinal : CK_SESSION_HANDLE.t -> Data.t -> CK_RV.t

val c_DigestInit : CK_SESSION_HANDLE.t -> CK_MECHANISM.t -> CK_RV.t

val c_Digest : CK_SESSION_HANDLE.t -> Data.t -> Data.t -> CK_RV.t

val c_DigestUpdate : CK_SESSION_HANDLE.t -> Data.t -> CK_RV.t

val c_DigestKey : CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_RV.t

val c_DigestFinal : CK_SESSION_HANDLE.t -> Data.t -> CK_RV.t

val c_SignInit : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  CK_OBJECT_HANDLE.t ->
  CK_RV.t

val c_Sign : CK_SESSION_HANDLE.t -> src:Data.t -> tgt:Data.t -> CK_RV.t

val c_SignUpdate : CK_SESSION_HANDLE.t -> Data.t -> CK_RV.t

val c_SignFinal : CK_SESSION_HANDLE.t -> Data.t -> CK_RV.t

val c_SignRecoverInit : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  CK_OBJECT_HANDLE.t ->
  CK_RV.t

val c_SignRecover : CK_SESSION_HANDLE.t -> src:Data.t -> tgt:Data.t -> CK_RV.t

val c_VerifyInit : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  CK_OBJECT_HANDLE.t ->
  CK_RV.t

val c_Verify : 
  CK_SESSION_HANDLE.t ->
  signed:Data.t ->
  signature:Data.t ->
  CK_RV.t

val c_VerifyUpdate : CK_SESSION_HANDLE.t -> Data.t -> CK_RV.t

val c_VerifyFinal : CK_SESSION_HANDLE.t -> Data.t -> CK_RV.t

val c_VerifyRecoverInit : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  CK_OBJECT_HANDLE.t ->
  CK_RV.t

val c_VerifyRecover : 
  CK_SESSION_HANDLE.t ->
  signature:Data.t ->
  signed:Data.t ->
  CK_RV.t

val c_DigestEncryptUpdate : 
  CK_SESSION_HANDLE.t ->
  src:Data.t ->
  tgt:Data.t ->
  CK_RV.t

val c_DecryptDigestUpdate : 
  CK_SESSION_HANDLE.t ->
  src:Data.t ->
  tgt:Data.t ->
  CK_RV.t

val c_SignEncryptUpdate : 
  CK_SESSION_HANDLE.t ->
  src:Data.t ->
  tgt:Data.t ->
  CK_RV.t

val c_DecryptVerifyUpdate : 
  CK_SESSION_HANDLE.t ->
  src:Data.t ->
  tgt:Data.t ->
  CK_RV.t

Key Management

val c_GenerateKey : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  Template.t ->
  CK_RV.t * CK_OBJECT_HANDLE.t

val c_GenerateKeyPair : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  public:Template.t ->
  privat:Template.t ->
  CK_RV.t * CK_OBJECT_HANDLE.t * CK_OBJECT_HANDLE.t

val c_WrapKey : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  wrapping_key:CK_OBJECT_HANDLE.t ->
  key:CK_OBJECT_HANDLE.t ->
  wrapped_key:Data.t ->
  CK_RV.t

val c_UnwrapKey : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  unwrapping_key:CK_OBJECT_HANDLE.t ->
  wrapped_key:Data.t ->
  Template.t ->
  CK_RV.t * CK_OBJECT_HANDLE.t

val c_DeriveKey : 
  CK_SESSION_HANDLE.t ->
  CK_MECHANISM.t ->
  CK_OBJECT_HANDLE.t ->
  Template.t ->
  CK_RV.t * CK_OBJECT_HANDLE.t

package pkcs11-driver

Parameters

Signature