package awa

You can search for identifiers within the package.

in-package search v0.2.0

package awa

awa
- Awa
  - Auth
  - Channel
    
    Channel_map
    
    Ordered
  - Cipher
  - Client
  - Common
  - Dbuf
  - Hmac
  - Hostkey
  - Kex
    
    Dh
  - Keys
    
    Log
  - Packet
  - Server
    
    Log
  - Ssh
  - Util
  - Wire

Legend:
Library
Module
Module type
Parameter
Class
Class type

type compression_alg =

| Nothing

val compression_alg_of_string : string -> (compression_alg, string) result

val compression_alg_to_string : compression_alg -> string

type alg =

| Diffie_hellman_group_exchange_sha256
| Diffie_hellman_group14_sha256
| Diffie_hellman_group14_sha1
| Diffie_hellman_group1_sha1
| Diffie_hellman_group_exchange_sha1
| Curve25519_sha256
| Ecdh_sha2_nistp256
| Ecdh_sha2_nistp384
| Ecdh_sha2_nistp521

val is_rfc4419 : alg -> bool

val is_finite_field : alg -> bool

val alg_of_string : string -> (alg, string) result

val alg_to_string : alg -> string

val group_of_alg : alg -> Mirage_crypto_pk.Dh.group

val hash_of_alg : alg -> (module Digestif.S)

val supported : alg list

val make_kexinit : 
  ?ext_info:[ `Ext_info_c | `Ext_info_s ] ->
  Hostkey.alg list ->
  alg list ->
  unit ->
  Ssh.kexinit

type negotiation = {

kex_alg : alg;
server_host_key_alg : Hostkey.alg;
encryption_alg_ctos : Cipher.t;
encryption_alg_stoc : Cipher.t;
mac_alg_ctos : Hmac.t;
mac_alg_stoc : Hmac.t;
compression_alg_ctos : compression_alg;
compression_alg_stoc : compression_alg;

}

val pp_negotiation : Format.formatter -> negotiation -> unit

val guessed_right : s:Ssh.kexinit -> c:Ssh.kexinit -> bool

val negotiate : s:Ssh.kexinit -> c:Ssh.kexinit -> (negotiation, string) result

type keys = {

cipher : Cipher.key;
mac : Hmac.key;
seq : int32;
tx_rx : int64;

}

val make_plaintext : unit -> keys

val is_plaintext : keys -> bool

val is_keyed : keys -> bool

val one_GB : int64

val one_minute_ns : int64

val keys_lifespan : Mtime.span

val should_rekey : int64 -> Mtime.t -> Mtime.t -> bool

val derive_keys : 
  (((string -> unit) -> unit) -> string) ->
  Z.t ->
  string ->
  string ->
  negotiation ->
  Mtime.t ->
  (keys * keys * Mtime.t, string) result

module Dh : sig ... end