tls 0.7.1 · OCaml Package

Core type definitions

type tls_version =

| TLS_1_0
| TLS_1_1
| TLS_1_2

val tls_version_of_sexp : Sexplib.Sexp.t -> tls_version

val sexp_of_tls_version : tls_version -> Sexplib.Sexp.t

val pair_of_tls_version : tls_version -> int * int

val tls_version_of_pair : (int * int) -> tls_version option

type tls_any_version =

| SSL_3
| Supported of tls_version
| TLS_1_X of int

val tls_any_version_of_sexp : Sexplib.Sexp.t -> tls_any_version

val sexp_of_tls_any_version : tls_any_version -> Sexplib.Sexp.t

val any_version_to_version : tls_any_version -> tls_version option

val version_eq : tls_any_version -> tls_version -> bool

val version_ge : tls_any_version -> tls_version -> bool

val tls_any_version_of_pair : (int * int) -> tls_any_version option

val pair_of_tls_any_version : tls_any_version -> int * int

val max_protocol_version : ('a * 'b) -> 'b

val min_protocol_version : ('a * 'b) -> 'a

type tls_hdr = {

content_type : Packet.content_type;
version : tls_any_version;

}

val tls_hdr_of_sexp : Sexplib.Sexp.t -> tls_hdr

val sexp_of_tls_hdr : tls_hdr -> Sexplib.Sexp.t

module SessionID : sig ... end

type client_extension = [

| `Hostname of string
| `MaxFragmentLength of Packet.max_fragment_length
| `EllipticCurves of Packet.named_curve_type list
| `ECPointFormats of Packet.ec_point_format list
| `SecureRenegotiation of Cstruct.t
| `Padding of int
| `SignatureAlgorithms of (Nocrypto.Hash.hash * Packet.signature_algorithm_type) list
| `UnknownExtension of int * Cstruct.t
| `ExtendedMasterSecret

]

val __client_extension_of_sexp__ : Sexplib.Sexp.t -> client_extension

val client_extension_of_sexp : Sexplib.Sexp.t -> client_extension

val sexp_of_client_extension : client_extension -> Sexplib.Sexp.t

type server_extension = [

| `Hostname
| `MaxFragmentLength of Packet.max_fragment_length
| `ECPointFormats of Packet.ec_point_format list
| `SecureRenegotiation of Cstruct.t
| `UnknownExtension of int * Cstruct.t
| `ExtendedMasterSecret

]

val __server_extension_of_sexp__ : Sexplib.Sexp.t -> server_extension

val server_extension_of_sexp : Sexplib.Sexp.t -> server_extension

val sexp_of_server_extension : server_extension -> Sexplib.Sexp.t

type client_hello = {

client_version : tls_any_version;
client_random : Cstruct.t;
sessionid : SessionID.t option;
ciphersuites : Packet.any_ciphersuite list;
extensions : client_extension list;

}

val client_hello_of_sexp : Sexplib.Sexp.t -> client_hello

val sexp_of_client_hello : client_hello -> Sexplib.Sexp.t

type server_hello = {

server_version : tls_version;
server_random : Cstruct.t;
sessionid : SessionID.t option;
ciphersuite : Ciphersuite.ciphersuite;
extensions : server_extension list;

}

val server_hello_of_sexp : Sexplib.Sexp.t -> server_hello

val sexp_of_server_hello : server_hello -> Sexplib.Sexp.t

type dh_parameters = {

dh_p : Cstruct.t;
dh_g : Cstruct.t;
dh_Ys : Cstruct.t;

}

val dh_parameters_of_sexp : Sexplib.Sexp.t -> dh_parameters

val sexp_of_dh_parameters : dh_parameters -> Sexplib.Sexp.t

type ec_curve = {

a : Cstruct.t;
b : Cstruct.t;

}

val ec_curve_of_sexp : Sexplib.Sexp.t -> ec_curve

val sexp_of_ec_curve : ec_curve -> Sexplib.Sexp.t

type ec_prime_parameters = {

prime : Cstruct.t;
curve : ec_curve;
base : Cstruct.t;
order : Cstruct.t;
cofactor : Cstruct.t;
public : Cstruct.t;

}

val ec_prime_parameters_of_sexp : Sexplib.Sexp.t -> ec_prime_parameters

val sexp_of_ec_prime_parameters : ec_prime_parameters -> Sexplib.Sexp.t

type ec_char_parameters = {

m : int;
basis : Packet.ec_basis_type;
ks : Cstruct.t list;
curve : ec_curve;
base : Cstruct.t;
order : Cstruct.t;
cofactor : Cstruct.t;
public : Cstruct.t;

}

val ec_char_parameters_of_sexp : Sexplib.Sexp.t -> ec_char_parameters

val sexp_of_ec_char_parameters : ec_char_parameters -> Sexplib.Sexp.t

type ec_parameters =

| ExplicitPrimeParameters of ec_prime_parameters
| ExplicitCharParameters of ec_char_parameters
| NamedCurveParameters of Packet.named_curve_type * Cstruct.t

val ec_parameters_of_sexp : Sexplib.Sexp.t -> ec_parameters

val sexp_of_ec_parameters : ec_parameters -> Sexplib.Sexp.t

type tls_handshake =

| HelloRequest
| ServerHelloDone
| ClientHello of client_hello
| ServerHello of server_hello
| Certificate of Cstruct.t list
| ServerKeyExchange of Cstruct.t
| CertificateRequest of Cstruct.t
| ClientKeyExchange of Cstruct.t
| CertificateVerify of Cstruct.t
| Finished of Cstruct.t

val tls_handshake_of_sexp : Sexplib.Sexp.t -> tls_handshake

val sexp_of_tls_handshake : tls_handshake -> Sexplib.Sexp.t

type tls_alert = Packet.alert_level * Packet.alert_type

val tls_alert_of_sexp : Sexplib.Sexp.t -> tls_alert

val sexp_of_tls_alert : tls_alert -> Sexplib.Sexp.t

type tls_body =

| TLS_ChangeCipherSpec
| TLS_ApplicationData
| TLS_Alert of tls_alert
| TLS_Handshake of tls_handshake

val tls_body_of_sexp : Sexplib.Sexp.t -> tls_body

val sexp_of_tls_body : tls_body -> Sexplib.Sexp.t

type master_secret = Cstruct.t

the master secret of a TLS connection

val master_secret_of_sexp : Sexplib.Sexp.t -> master_secret

val sexp_of_master_secret : master_secret -> Sexplib.Sexp.t

type epoch_data = {

protocol_version : tls_version;
ciphersuite : Ciphersuite.ciphersuite;
peer_random : Cstruct.t;
peer_certificate_chain : X509.t list;
peer_certificate : X509.t option;
peer_name : string option;
trust_anchor : X509.t option;
received_certificates : X509.t list;
own_random : Cstruct.t;
own_certificate : X509.t list;
own_private_key : Nocrypto.Rsa.priv option;
own_name : string option;
master_secret : master_secret;
session_id : SessionID.t;
extended_ms : bool;

}

information about an open session

val epoch_data_of_sexp : Sexplib.Sexp.t -> epoch_data

val sexp_of_epoch_data : epoch_data -> Sexplib.Sexp.t

package tls