ocaml-sdls/lib · monopampam · Tangled

My own corner of monopam

monopampam ocaml-sdls lib

1 folder · 45 files

Thomas Gazagnaire · sdls: the Recipient and the EP frame path step a description of the EP channel · 1w ago

sdls: Recipient replies go out under the EP SA of the return link only

sdls: verify every MAC truncation through one comparison

sdls: verify every MAC truncation through one comparison

tree: reformat for the upgraded ocamlformat

sdls: name the kind of each ambiguous documentation reference

sdls: verify every MAC truncation through one comparison

sdls: verify every MAC truncation through one comparison

sdls: the OTAR initiator takes its IV from the master key's mark

sdls: the OTAR initiator takes its IV from the master key's mark

sdls: Recipient replies go out under the EP SA of the return link only

sdls: Extended Procedures run only from an authenticated frame of their channel

sdls: Extended Procedures run only from an authenticated frame of their channel

sdls: Recipient replies go out under the EP SA of the return link only

sdls: Recipient replies go out under the EP SA of the return link only

sdls: map the 2-bit service group onto its four groups in the EP codec

sdls: map the 2-bit service group onto its four groups in the EP codec

sdls: an SA binds a GVCID with its TFVN, and a MAP where it has one

sdls: an SA binds a GVCID with its TFVN, and a MAP where it has one

sdls: verify every MAC truncation through one comparison

sdls: verify every MAC truncation through one comparison

sdls: a KEM rekey command carries a signed sequence number the node orders

sdls: a KEM rekey command carries a signed sequence number the node orders

sdls: one key store, stepped by one key lifecycle

sdls: one key store, stepped by one key lifecycle

sdls: a key procedure over a set commits at one point

sdls: a key procedure over a set commits at one point

sdls: fold a flood of rejected frames into one counted event

sdls: fold a flood of rejected frames into one counted event

sdls: lend key material from the store instead of copying it

sdls: a KEM rekey command carries a signed sequence number the node orders

sdls: the Recipient and the EP frame path step a description of the EP channel

sdls: the Recipient and the EP frame path step a description of the EP channel

requirements.ml

fsm: Check, Trace and Book move to fsm.check, and Check.v decides the ledger and the quotes

requirements.mli

fsm: Check, Trace and Book move to fsm.check, and Check.v decides the ledger and the quotes

sdls: an SA binds a GVCID with its TFVN, and a MAP where it has one

sdls: refuse a frame past the key-usage budget and log each level crossed

sdls: Sa.set refuses an ARSN moved back under the same keys

sdls: Sa.set refuses an ARSN moved back under the same keys

sdls: the Recipient and the EP frame path step a description of the EP channel

sdls: Recipient replies go out under the EP SA of the return link only

sdls: fold a flood of rejected frames into one counted event

sdls: fold a flood of rejected frames into one counted event

sdls: type the SPI and the GVCID

sdls: type the SPI and the GVCID

sdls: verify every MAC truncation through one comparison

sdls: verify every MAC truncation through one comparison