package tls

You can search for identifiers within the package.

in-package search v0.2.0

tls
- Tls
  - Ciphersuite
    
    H
  - Config
    
    Ciphers
  - Control
    
    Monad
    
    Monad_ext
    
    Monad_ext_make
    
    M
    
    Option
    
    Or_error
    
    Or_error_make
    
    M
  - Core
    
    Cert
    
    PreSharedKeyID
    
    Ptime
    
    SessionID
  - Crypto
    
    Ciphers
  - Engine
  - Explorator
  - Handshake_client
  - Handshake_client13
  - Handshake_common
    
    Group
    
    GroupSet
  - Handshake_crypto
  - Handshake_crypto13
  - Handshake_server
  - Handshake_server13
  - Packet
  - Reader
  - State
    
    V_err
  - Tracing
  - Utils
    
    Cs
    
    List_set
  - Writer
tls.lwt
- Tls_lwt
  - Unix
- X509_lwt

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include X509.Certificate end

X509v3 certificate

val decode_pkcs1_digest_info : 
  Cstruct.t ->
  (Mirage_crypto.Hash.hash * Cstruct.t, [> Rresult.R.msg ]) Rresult.result

decode_pkcs1_digest_info buffer is hash, signature, the hash and raw signature of the given buffer in ASN.1 DER encoding, or an error.

val encode_pkcs1_digest_info : 
  (Mirage_crypto.Hash.hash * Cstruct.t) ->
  Cstruct.t

encode_pkcs1_digest_info (hash, signature) is data, the ASN.1 DER encoded hash and signature.

Abstract certificate type

type t = X509.Certificate.t

The abstract type of a certificate.

val pp : t Fmt.t

pp ppf cert pretty-prints the certificate.

Encoding and decoding in ASN.1 DER and PEM format

val decode_der : Cstruct.t -> (t, [> Rresult.R.msg ]) Rresult.result

decode_der cstruct is certificate, the ASN.1 decoded certificate or an error.

val encode_der : t -> Cstruct.t

encode_der certificate is cstruct, the ASN.1 encoded representation of the certificate.

val decode_pem_multiple : 
  Cstruct.t ->
  (t list, [> Rresult.R.msg ]) Rresult.result

decode_pem_multiple pem is t list, where all certificates of the pem are extracted

val decode_pem : Cstruct.t -> (t, [> Rresult.R.msg ]) Rresult.result

decode_pem pem is t, where the single certificate of the pem is extracted

val encode_pem_multiple : t list -> Cstruct.t

encode_pem_multiple certificates is pem, the pem encoded certificates.

val encode_pem : t -> Cstruct.t

encode_pem certificate is pem, the pem encoded certificate.

Operations on certificates

type key_type = [

| `RSA
| `EC of Asn.oid

]

The polymorphic variant of public key types.

val supports_keytype : t -> key_type -> bool

supports_keytype certificate key_type is result, whether public key of the certificate matches the given key_type.

val public_key : t -> X509.Public_key.t

public_key certificate is pk, the public key of the certificate.

val signature_algorithm : 
  t ->
  ([ `RSA | `ECDSA ] * Mirage_crypto.Hash.hash) option

signature_algorithm certificate is the algorithm used for the signature.

val hostnames : t -> X509.Host.Set.t

hostnames certficate is the set of domain names this certificate is valid for. Currently, these are the DNS names of the Subject Alternative Name extension, if present, or otherwise the singleton set containing the common name of the certificate subject.

val supports_hostname : t -> [ `host ] Domain_name.t -> bool

supports_hostname certificate hostname is result, whether the certificate contains the given hostname, using hostnames.

val fingerprint : Mirage_crypto.Hash.hash -> t -> Cstruct.t

fingerprint hash cert is digest, the digest of cert using the specified hash algorithm

val subject : t -> X509.Distinguished_name.t

subject certificate is dn, the subject as dn of the certificate.

val issuer : t -> X509.Distinguished_name.t

issuer certificate is dn, the issuer as dn of the certificate.

val serial : t -> Z.t

serial certificate is sn, the serial number of the certificate.

val validity : t -> Ptime.t * Ptime.t

validity certificate is from, until, the validity of the certificate.

val extensions : t -> X509.Extension.t

extensions certificate is the extension map of certificate.

val t_of_sexp : 'a -> 'b

val sexp_of_t : 'a -> Sexplib.Sexp.t