P11_driver (p.pkcs11-driver.0.18.0.doc.pkcs11-driver.P11

Sourceexception CKR of P11.RV.t

Sourcemodule type S = sig ... end

Sourcetype t = (module S)

Sourceval initialize : t -> unit

Sourceval finalize : t -> unit

Sourceval get_info : t -> P11.Info.t

Sourceval get_slot : t -> P11.Slot.t -> (P11.Slot_id.t, string) result

Sourceval get_slot_list : t -> bool -> P11.Slot_id.t list

Sourceval get_slot_info : t -> slot:P11.Slot_id.t -> P11.Slot_info.t

Sourceval get_token_info : t -> slot:P11.Slot_id.t -> P11.Token_info.t

Sourceval get_mechanism_list : t -> slot:P11.Slot_id.t -> P11.Mechanism_type.t list

Source

val get_mechanism_info : 
  t ->
  slot:P11.Slot_id.t ->
  P11.Mechanism_type.t ->
  P11.Mechanism_info.t

Sourceval init_token : t -> slot:P11.Slot_id.t -> pin:string -> label:string -> unit

Sourceval init_PIN : t -> P11.Session_handle.t -> pin:string -> unit

Source

val set_PIN : 
  t ->
  P11.Session_handle.t ->
  oldpin:string ->
  newpin:string ->
  unit

Source

val open_session : 
  t ->
  slot:P11.Slot_id.t ->
  flags:P11.Flags.t ->
  P11.Session_handle.t

Sourceval close_session : t -> P11.Session_handle.t -> unit

Sourceval close_all_sessions : t -> slot:P11.Slot_id.t -> unit

Sourceval get_session_info : t -> P11.Session_handle.t -> P11.Session_info.t

Sourceval login : t -> P11.Session_handle.t -> P11.User_type.t -> string -> unit

Sourceval logout : t -> P11.Session_handle.t -> unit

Source

val create_object : 
  t ->
  P11.Session_handle.t ->
  P11.Template.t ->
  P11.Object_handle.t

Source

val copy_object : 
  t ->
  P11.Session_handle.t ->
  P11.Object_handle.t ->
  P11.Template.t ->
  P11.Object_handle.t

Sourceval destroy_object : t -> P11.Session_handle.t -> P11.Object_handle.t -> unit

Source

val get_attribute_value : 
  t ->
  P11.Session_handle.t ->
  P11.Object_handle.t ->
  P11.Attribute_types.t ->
  P11.Template.t

Source

val get_attribute_value' : 
  t ->
  P11.Session_handle.t ->
  P11.Object_handle.t ->
  P11.Attribute_types.t ->
  P11.Template.t

Source

val get_attribute_value_optimized : 
  t ->
  P11.Attribute_types.t ->
  [ `Optimized of P11.Session_handle.t -> P11.Object_handle.t -> P11.Template.t ]

Source

val set_attribute_value : 
  t ->
  P11.Session_handle.t ->
  P11.Object_handle.t ->
  P11.Template.t ->
  unit

Source

val find_objects : 
  t ->
  ?max_size:int ->
  P11.Session_handle.t ->
  P11.Template.t ->
  P11.Object_handle.t list

Source

val encrypt : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Data.t ->
  P11.Data.t

Source

val multipart_encrypt_init : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  unit

Source

val multipart_encrypt_chunck : 
  t ->
  P11.Session_handle.t ->
  P11.Data.t ->
  P11.Data.t

Sourceval multipart_encrypt_final : t -> P11.Session_handle.t -> P11.Data.t

Source

val multipart_encrypt : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Data.t list ->
  P11.Data.t

Source

val decrypt : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Data.t ->
  P11.Data.t

Source

val multipart_decrypt_init : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  unit

Source

val multipart_decrypt_chunck : 
  t ->
  P11.Session_handle.t ->
  P11.Data.t ->
  P11.Data.t

Sourceval multipart_decrypt_final : t -> P11.Session_handle.t -> P11.Data.t

Source

val multipart_decrypt : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Data.t list ->
  P11.Data.t

Source

val sign : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Data.t ->
  P11.Data.t

Source

val sign_recover : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Data.t ->
  P11.Data.t

Source

val multipart_sign_init : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  unit

Sourceval multipart_sign_chunck : t -> P11.Session_handle.t -> P11.Data.t -> unit

Sourceval multipart_sign_final : t -> P11.Session_handle.t -> P11.Data.t

Source

val multipart_sign : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Data.t list ->
  P11.Data.t

Source

val verify : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  data:P11.Data.t ->
  signature:P11.Data.t ->
  unit

Source

val verify_recover : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  signature:P11.Data.t ->
  P11.Data.t

Source

val multipart_verify_init : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  unit

Sourceval multipart_verify_chunck : t -> P11.Session_handle.t -> P11.Data.t -> unit

Sourceval multipart_verify_final : t -> P11.Session_handle.t -> P11.Data.t -> unit

Source

val multipart_verify : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Data.t list ->
  P11.Data.t ->
  unit

Source

val generate_key : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Template.t ->
  P11.Object_handle.t

Source

val generate_key_pair : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Template.t ->
  P11.Template.t ->
  P11.Object_handle.t * P11.Object_handle.t

Source

val wrap_key : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Object_handle.t ->
  P11.Data.t

Source

val unwrap_key : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Data.t ->
  P11.Template.t ->
  P11.Object_handle.t

Source

val derive_key : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Object_handle.t ->
  P11.Template.t ->
  P11.Object_handle.t

Source

val digest : 
  t ->
  P11.Session_handle.t ->
  P11.Mechanism.t ->
  P11.Data.t ->
  P11.Data.t

Sourcemodule Make (X : Pkcs11.RAW) : S

Source

val load_driver : 
  ?log_calls:(string * Format.formatter) ->
  ?on_unknown:(string -> unit) ->
  ?load_mode:P11.Load_mode.t ->
  string ->
  t

May raise Pkcs11.Cannot_load_module. on_unknown will be called with a warning message when unsupported codes are encountered.