package pkcs11

  1. Overview
  2. Docs
PKCS#11 OCaml types

Install

Dune Dependency

Authors

Maintainers

Sources

pkcs11-v1.0.1.tbz
sha256=db6bed28e4a75cb3787d0b6feca954a91c9e52e678b8cc73c1058975b1846946
sha512=f764b356cac3dd7718003a158f2a4dad7b8caae981930ab9cfa674a08ebcf3583c531bfcca9ddbb593d0c8e5a64b52381f8c9c702c3a0d0d44000727b095c47a

CHANGES.md.html

v1.0.1

2021-08-12

  • Require Dune >= 2.0

  • Require OCaml >= 4.07

  • Add compatibility with integers 0.5.0

v1.0.0

2019-11-21

Additions

  • Add a new initialize_nss function to pkcs11-driver to perform a C_Initialize call with the extra parameters that NSS requires (see https://developer.mozilla.org/en-US/docs/Mozilla/Projects/NSS/PKCS11/Module_Specs for more information)

Changes

  • (Breaking) Rename P11_driver.Make to P11_driver.Wrap_low_level_bindings

  • (Breaking) Rename Pkcs11.RAW to Pkcs11.LOW_LEVEL_BINDINGS

  • (Breaking) Rename Pkcs11.S to Pkcs11.LOW_LEVEL_WRAPPER

  • (Breaking) Rename Pkcs11.Make to Pkcs11.Wrap_low_level_bindings

v0.18.0

2019-01-30

Changes

  • Remove optional dependencies and split into pkcs11, pkcs11-cli, pkcs11-driver and pkcs11-rev packages.

v0.17.1 2018-10-11

Fixes

  • Fix P11.Mechanism_type.of_string and P11.Mechanism_type.of_yojson by correctly parsing all supported mechanism types.

v0.17.0 2018-05-15

Breaking changes:

  • Remove deprecated code around stubs and kinds. (#103, #104)

Fixes:

  • Fix hex data parsing on invalid JSON strings. (#105)

v0.16.0 2018-04-05

Breaking changes:

  • Encode CKA_ID data as an hex encoded JSON string. (#101)

New features:

  • Add all 2.40 mechanism types. (#99)

Deprecations:

  • Deprecate mechanism kinds, attribute kinds, and P11_key_attributes. (#98)

  • Deprecate the "stubs" load mode. This corresponds to the --indirect command line argument. "auto" stays the recommended default. (#100)

Refactoring:

  • Rework P11_attribute internals to use repr from CK_ATTRIBUTE. (#102)

v0.15.0 2018-02-19

Bug fix:

  • Fix P11.RV.of_string "CKR_ACTION_PROHIBITED". (#97)

Improvements:

  • Make it clear CKR are hex encoded in OK_OR_FAIL. (#95)

  • Derive more eq, ord and show instances. (#96)

v0.14.0 2018-01-12

Breaking changes:

  • load_driver: "dll" is non-named so that it erases optional arguments. (#92)

  • rename use_get_function_list to load_mode and add P11.Load_mode to describe what arguments it can have. Also delete unused modes. (#93)

New features:

  • Bind the C_Digest function as digest. (#91)

v0.13.0 2017-12-28

New features:

  • Support CKM_AES_KEY_WRAP mechanism. (#83, #85)

  • Support ECDSA+SHA2 mechanisms. (#84)

  • P11_driver: add an API not based on modules. (#87)

  • Fake DLL: add more functions. (#86)

v0.12.0 2017-12-14

Breaking changes:

  • Hex-encode AES-CTR and AES-GCM parameters. Fixes JSON representation. (#80)

Bug fixes:

  • P11_mechanism.compare was ignoring AES-CTR parameters. (#81)

New features:

  • Add HMAC mechanisms. (#78)

Build system:

  • Add a 4.06 build. (#79)

  • Build on Alpine linux by default.

  • Drop compatibility with 4.02.3. (#82)

v0.11.0 2017-11-30

Breaking changes:

  • Removed Low_level and Intermediate_level from P11_driver.S. (#60)

New features:

  • PKCS11 v2.40 support:

    • CKR codes (#63)

    • DSA+SHA2 mechanisms (#66)

    • GOST mechanism types (#67)

    • CKM_AES_KEY_WRAP (#68)

  • New supported mechanisms:

    • CKM_DSA_SHA1

    • CKM_AES_CTR (#71)

    • CKM_AES_GCM (#74)

    • CKM_DSA_KEY_PAIR_GEN and associated attributes (#77)

  • Add eq,ord,show,yojson instances to most types in P11. (#62, #72)

Bug fixes:

  • Fix a memory leak with reachable pointers (#74)

Refactoring:

  • Rework CK_MECHANISM internals (#75)

  • Rework CK_ATTRIBUTE internals (#76)

Build system:

  • Use travis-opam 1.1.0 (#73)

v0.10.0 2017-07-07

Breaking changes:

  • Do not parse CKA_EC_PARAMS and CKA_EC_POINT. (#58)

    • Makes it possible to interact with tokens that return invalid values for these attributes. (that would otherwise trigger #42)

    • The responsibility of parsing them (for example with key-parsers) is on the caller.

    • Remove key-parsers dependency.

v0.9.0 2017-06-22

Breaking changes:

  • Major reorganization of the package sources:

    • Move the driver part to a pkcs11.driver subpackage. This is based on ctypes and ctypes-foreign depopts. (#57)

    • Some modules have been renamed to reflect this: P11_* are high level, and Pkcs11_* correspond to the driver implementation. (#56)

    • Make only the driver depend on ctypes. The rest depends on integers only (#54, #55)

  • Remove deprecated value P11_attribute_type.(==) (#51)

Build system:

  • Move files in different subdirectories (#52)

  • Ignore with git generated file "pkcs11.install" (#53)

v0.8.0 2017-05-22

Breaking changes:

  • Related to Ctypes_helpers (#48):

    • remove is_null (now in ctypes)

    • remove safe_deref and Null_pointer (unused)

  • Make Pkcs11 depend on P11, and not the other way around (#45).

    • Thanks to Bertrand Bonnefoy-Claudet.

    • This is a first step in splitting out the ctypes dependency.

    • Remove P11_sigs

    • Types named u are removed (use t types from P11).

    • Constructor reexports are removed.

    • of_raw aliases are removed.

    • functions acting on u are moved to P11_x

    • rename compare_t / equal_t to compare / equal

  • Split the P11 module into several smaller modules.

    • This is only breaking because it uses more global P11_ names.

Deprecated functions:

  • P11_attribute_type.(==) (#43, #50)

New functions:

  • Add eq and ord instances for inner modules (#49).

Cleanup:

  • Remove dead code here and there (#49).

Packaging:

  • Always install fake DLL (#46, #47)

v0.7.3 2017-05-02

Tests:

  • Add some functional tests that load a fake DLL (#39)

Build system:

  • Support HP/UX (#40)

  • Support OCaml 4.05 (#41)

v0.7.2 2017-04-14

Changes:

  • Do not use Dl.RTLD_DEEPBIND (#38)

Build system:

  • Support FreeBSD builds (#37, thanks to Hannes Mehnert)

Documentation:

  • Add an example application (#34, #35)

v0.7.1 2017-01-25

Build system:

  • Remove records from META to make it possible to actually use pkcs11 without records installed (#33)

v0.7.0 2017-01-23

Breaking changes:

  • Remove typ values from records, deprecated in 0.6.0, and the associated dependency (#26)

  • Rework the P11_keys_attributes module (#27):

    • rename it to P11_key_attributes

    • rename possibles to possibles

    • remove kinds and is

  • Remove most "not implemented" attributes (#28, #29)

Fixes:

  • Detect Linux hosts more robustly (#25)

New features:

  • Provide optional cmdliner support through a new Pkcs11_cli module (in pkcs11.cli) (#31)

Build system:

  • Forbid key-parsers.0.6.0

  • Refer to the Result compatibility module only through a global -open (#30)

  • Install cmti files (#32)

  • Add missing ounit test-dependency (#32)

v0.6.0 2017-01-04

Breaking changes:

  • Removed deprecated operator aliases (#22)

  • Remove the P11_mechanisms module (#23)

    • kinds is moved to P11

    • key_type can be replaced by P11.Mechanism.key_type (its results only depend on the mechanism type)

New features:

  • Add yojson functions to several modules (#20)

Changes:

  • P11.Mechanism.key_type is extended to non-keygen mechanisms.

Deprecated values:

  • Deprecate typ values from records (#21). Users are expected to use the underlying yojson functions directly. The records dependency should be dropped in the next release.

Build system:

  • Use docker for travis builds (#19)

v0.5.0 2016-12-16

Breaking changes:

  • get_slot return a result instead of raising an exception (#16)

  • Make P11.Mechanism.key_type return an option (#17)

Cleanup:

  • Fix warning 32 (#18)

  • Fix warning 52 (#15)

Tests:

  • Add tests for the bigint module (#14)

v0.4.0 2016-11-03

Breaking changes:

  • Changed the type of some low-level fields from Ctypes.ptr to Ctypes_helpers.Reachable_ptr.t. Those can be accessed using the setf and getf functions in the same module.

  • Make Pkcs11_data.t abstract.

Fixes:

  • Fix several use-after-free bugs (#10)

Build system:

  • Add merlin configuration (#11)

v0.3.0 2016-10-18

New features:

  • Add inverted stubs (#8)

v0.2.0 2016-10-07

Breaking changes:

  • Rename CK_PKCS5_PBKD2_DATA_PARAMS to CK_PKCS5_PBKD2_PARAMS (#5)

New features:

  • Install headers in ocamlfind directory (#2)

Changes:

  • Improve documentation headers (#3)

v0.1.0 2016-09-22

  • Initial release.

OCaml

Innovation. Community. Security.