SshKexStateMachine

[Source]

class ref SshKexStateMachine

Constructors

create

[Source]

new ref create(
  role: SshRole)
: SshKexStateMachine ref^

Parameters

• role: SshRole

Returns

• SshKexStateMachine ref^

---

Public Functions

generate_kexinit

[Source]

Generate our SSH_MSG_KEXINIT payload with random 16-byte cookie.

fun ref generate_kexinit(
  prefs: SshAlgorithmPreferences val)
: Array[U8 val] val

Parameters

• prefs: SshAlgorithmPreferences val

Returns

• Array[U8 val] val

---

receive_kexinit

[Source]

Parse their KEXINIT, negotiate algorithms.

fun ref receive_kexinit(
  their_payload: Array[U8 val] val,
  our_prefs: SshAlgorithmPreferences val)
: (SshNegotiatedAlgorithms val | SshTransportError)

Parameters

• their_payload: Array[U8 val] val
• our_prefs: SshAlgorithmPreferences val

Returns

• (SshNegotiatedAlgorithms val | SshTransportError)

---

derive_keys

[Source]

Derive encryption keys per RFC 4253 section 7.2.

Each key is: HASH(K || H || X || session_id) where K = shared secret (mpint), H = exchange hash, X = single letter.

fun ref derive_keys(
  shared_secret: Array[U8 val] val,
  exchange_hash: Array[U8 val] val,
  session_id: Array[U8 val] val,
  negotiated: SshNegotiatedAlgorithms val)
: SshDerivedKeys val

Parameters

• shared_secret: Array[U8 val] val
• exchange_hash: Array[U8 val] val
• session_id: Array[U8 val] val
• negotiated: SshNegotiatedAlgorithms val

Returns

• SshDerivedKeys val

---