package awa

  1. Overview
  2. Docs
SSH implementation in OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (7)

Authors

  1. C
    Christiano F. Haesbaert <haesbaert@haesbaert.org>
  2. H
    Hannes Mehnert <hannes@mehnert.org>

Maintainers

  1. C
    Christiano F. Haesbaert <haesbaert@haesbaert.org>
  2. H
    Hannes Mehnert <hannes@mehnert.org>

Sources

awa-0.2.0.tbz
sha256=86c993ba8b9b05db04c867bcce67c6ec98a16342c5338944ae93ca515a1b217f
sha512=71aed67b4ab92e68d88f67a5162da2187b2596b40b4174e5be2232f0b466615ce10706c6aea85201bd6582dd6d674765d9ad76112289df06904d6f3bbb595226

doc/awa/Awa/Kex/index.html

Module Awa.KexSource

Sourcetype compression_alg =
  1. | Nothing
Sourceval compression_alg_of_string : string -> (compression_alg, string) result
Sourceval compression_alg_to_string : compression_alg -> string
Sourcetype alg =
  1. | Diffie_hellman_group_exchange_sha256
  2. | Diffie_hellman_group14_sha256
  3. | Diffie_hellman_group14_sha1
  4. | Diffie_hellman_group1_sha1
  5. | Diffie_hellman_group_exchange_sha1
  6. | Curve25519_sha256
  7. | Ecdh_sha2_nistp256
  8. | Ecdh_sha2_nistp384
  9. | Ecdh_sha2_nistp521
Sourceval is_rfc4419 : alg -> bool
Sourceval is_finite_field : alg -> bool
Sourceval alg_of_string : string -> (alg, string) result
Sourceval alg_to_string : alg -> string
Sourceval group_of_alg : alg -> Mirage_crypto_pk.Dh.group
Sourceval hash_of_alg : alg -> (module Mirage_crypto.Hash.S)
Sourceval client_supported : alg list
Sourceval server_supported : alg list
Sourceval make_kexinit : Hostkey.alg list -> alg list -> unit -> Ssh.kexinit
Sourcetype negotiation = {
  1. kex_alg : alg;
  2. server_host_key_alg : Hostkey.alg;
  3. encryption_alg_ctos : Cipher.t;
  4. encryption_alg_stoc : Cipher.t;
  5. mac_alg_ctos : Hmac.t;
  6. mac_alg_stoc : Hmac.t;
  7. compression_alg_ctos : compression_alg;
  8. compression_alg_stoc : compression_alg;
}
Sourceval pp_negotiation : Format.formatter -> negotiation -> unit
Sourceval guessed_right : s:Ssh.kexinit -> c:Ssh.kexinit -> bool
Sourceval negotiate : s:Ssh.kexinit -> c:Ssh.kexinit -> (negotiation, string) result
Sourcetype keys = {
  1. cipher : Cipher.key;
  2. mac : Hmac.key;
  3. seq : int32;
  4. tx_rx : int64;
}
Sourceval make_plaintext : unit -> keys
Sourceval is_plaintext : keys -> bool
Sourceval is_keyed : keys -> bool
Sourceval one_GB : int64
Sourceval one_minute_ns : int64
Sourceval keys_lifespan : Mtime.span
Sourceval should_rekey : int64 -> Mtime.t -> Mtime.t -> bool
Sourceval derive_keys : (((Cstruct.t -> unit) -> unit) -> Cstruct.t) -> Z.t -> Cstruct.t -> Cstruct.t -> negotiation -> Mtime.t -> (keys * keys * Mtime.t, string) result
Sourcemodule Dh : sig ... end